fixed a missing clear
some code simplifications and format consistency changes
Make valgrind depend on the flint library.
Merge remote-tracking branch 'martin/flint_format' into flint-2.4
Add phony targets for valgrind
Merge remote-tracking branch 'mhansen/trunk' into flint-2.4