use Math.floor
document JARs and directories
Merge branch 'master' of https://github.com/Frege/frege

Take over the QuickCheck port
Doc tool enhancements, get documentations error free
use new documentation feature in Makefile
not needed anymore