Give Solver a default copy constructor (suppress warning).
CI: Try fix Clang and gcc 4.9.