New folder for AI
Merge branch 'master' into script_dev

Conflicts:
	Makefile.in
Merge branch 'master' into script_dev

Conflicts:
	Makefile.in
Merge branch 'master' into script_dev

Conflicts:
	src/engine/Game_engine.ml
	src/engine/Game_engine.mli
Merge branch 'master' into script_dev

Conflicts:
	Makefile.in
Merge branch 'master' into script_dev & AST type

Conflicts:
	Makefile.in
Merging master
Base for menhir parser
Minimal parser implementation (/!\ not tested)
Added optional parenthesis
Bugfixes & first script example
Added ge, le and equals to the language
Fixed equals (thanks @VLanvin)
Added pair handling
Added static types
Added new types
Added term_type to ast
Better error handling & string parsing
Reformatting
Merge branch 'script_dev' of https://github.com/GL-MPRI-2014/GL_MPRI_2014 into script_dev