Make test libraries static and simplify ampl_mp_test.