diml/lambda-term — pull request #14 by whitequark (2014-10-19 09:37:06+00:00)
Title: Make camlp4 optional

/cc @Drup: please help reviewing this