Adding a lambda mapper.
Adding a .gitignore
unglobalisation procedure using lmapper
Making unglobalize.ml to compile
fixing old bugs + adapting idents.ml
Adapting files for calling by skeleton.ml + skeleton.ml now does stuff
removing useless line