Print message to show that FLINT wa successfully configured.
Catch potentiel illegal instruction error.
Merge branch 'build_system' of https://github.com/jpflori/flint2 into trunk
Remove unneeded file.