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.
Don't install gsl.
Install gsl.ampl.