chg: new version of tropical.lib by Thomas

new version of tropical.lib requested to be checked into Singular on the 14.03.