Introduce --solvers option for synthesis

EnumerationSolver/Portfolio extends Incremental+Assumption. This allows the solvers to be used within Synthesis as well. 

Add test for synthesis of Ground term with enum solver alone.