Console Log Update

[ccoffrin]

• The solver should state how many constraints are initially added.\
• The amount of time spent outside and inside the LP solver should be reported, on each iteration
• The default log level should probably be 1
• in addition to the number of violated constraints, show the average and largest violation among them