Merge pull request #492 from mmklee/noNTLwithFLINT

fix: compile without NTL with FLINT
Bug from Gerhard Fixed
Bug Fix: updates, added fixed bug in tests
fix: name of debug executable
fix: %v for help.cnf
Merge pull request #494 from adipopescu/BugGerhard

Bug gerhard
fix: compile debug version of omalloc with -g, otherwise with -O2
better fix for compilation without NTL but with FLINT