Did most of abstract machine.
Merge branch 'master' of github.com:mmPaumard/sem-proj2

Conflicts:
	Squelette/Untyped/src/cibleType.ml