Pattern matching: Add the construction « match t with p -> t »
Add a forgot construct to patterns
Continue the pattern matching (add gammaC and the module Pattern)
Merge branch 'master' into pattern-matching
Merge branch 'master' into pattern-matching

Conflicts:
	src/main.ml
	src/typeChecker.ml
	src/typedTree.mli
pattern matching: Begin the backend work
Merge branch 'master' into pattern-matching
Almost finish the backend integration of pattern matching
Remove Pattern.Map (it was useless)
Finish the compilation of pattern matching for the backend
Rename map_patterns to results
Add things to do
Add a thing to do
Rename Pattern.get_map to Pattern.get_results
Remove an unused parameter
Backend: Find in gammaSwitch and clean the gamma handling (merge gammaSwitch, gammaParam, gammaEnv and gammaGlob into one map)
Clean: We don't need a variant anymore
Bug fix: The right variable name was not used
Retard asserts