Add callable strategies and default strategies.
Future work :
- test and fix issues
Merge branch 'master' and fix compilation

Conflicts:
	src/driver/eval.ml
	src/driver/interactive_cmd.ml
	src/system/parser/parser.mly
	src/system/parser/parsetree.mli