Add command-line option for Gecode solver
Fix test in Ftest_anycsp_inst