lambda-term 1.5 and utop 1.6
Merge pull request #949 from diml/master

lambda-term 1.5 and utop 1.6