fixing bugs in monomorphisation + presentation
adding new version of beagle (replacing jar file by binary)
Merge branch 'master' of https://github.com/barakeel/HOLtoTFF