Added a possibility tu use a custom FlatZinc solver.
Little correction of the -help information.