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.