Merge pull request #2 from thomasblanc/master

Removing tabs + usable for testing purposes
Start tlambda pretty printer
Merge pull request #1 from chambart/master

Start tlambda pretty printer
Merging Pierre's pull request