chg: moved polymake.lib tropical.lib to LIBS1 because of dependency on optional modules

this will also remove them from all.lib,
also changed some remaining, residual "oldpolamek.lib" to "polymake.lib"
Merge pull request #450 from YueRen/spielwiese

chg: moved polymake.lib tropical.lib to LIBS1 because of dependency on o...