Merge pull request #450 from YueRen/spielwiese

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