Refactor Solver.
Workaround Windows braindamage.
Make test libraries static and simplify ampl_mp_test.
Update cppformat and add gtest-extra.* to tests.
Fix solver-test.
Fix aslbuilder-test.
Test BinaryReader.
Complete BinaryReader testing.
Comment.
Make static solver libraries static regardless of BUILD_SHARED_LIBS.
add mingw cross-compile to travis matrix
make asl-core its own library again,

and libasl static