Simplify CMake config for ampltabl.
Add install target and decouple MP from ASL.
Update gecode.
Remove misleading header.
Move ASL-dependent solver functionality to ASLSolver.