Miplib tests

Miplib 2003 problems tested against GLPK and CPLEX. We need to chose some tests (otherwise it exceeds travis-ci limit or, alternatively upgrade travis account)

So far it tests the objective values. TODO: implement a parser for expected solutions.

@phantomas1234: some problems don't return the expected results...