preparations for singular4
fixes for flint
fixes for 4ti2
fixed singular4 config
fixes for polymake target
fixed polymake config
fixed flint config
removed rm of Bootstrap from diskimage build