commit to merge
Merge branch 'dev' of https://github.com/mickael-menu/picc into dev

Conflicts:
	src/ASTUtils.ml
	src/TTests.ml
commit to merge
Merge branch 'dev' of https://github.com/mickael-menu/picc into dev
commit to merge
interfacing with c