Update ampl.
Fix generation of coin-versions.txt.
Get all solver versions.
Simplify CMake code.