manual: REFERENCE(S) should be a seperate header
doc: option(warn)
doc: modular.lib
update singular-libs: ehv.lib
fix: references in modular.lib
fix: all.lib
all.lib: removed tropical.lib, oldpolymake.lib from all.lib
64bit changes: representation of number in Q
fix: typo
tmp disable 64bit changes