fixed accidental option modifications in primdec.lib
fixed syntax error
removed empty line
chg: new version of oldpolymake.lib from Thomas Markwig (keilen@mathematik.uni-kl.de)
fix: loading of polymake.so in oldpolymake.lib
fix: oldpolymake.lib bigintmat <-> intmat issues
chg: trying up oldpolymake.lib

    - renamed procedures that conflicted with procedures in polymake.so
    - fixed remaining mistakes in library due to bigintmats where previously only intmats were expected
    - renamed it back to polymake.lib

    the rename to oldpolymake.lib only happened because initially it was planned to call the polymake kernel interface polymake.lib, since it is easier for the users to not distinguish between interpreter libraries and shared objects and due to a misconception that polymake.lib was a pure interface to polymake. Since both proved to be wrong, I decided to undo the name change.
chg: new version of tropical.lib by thomas
fix: s_internalDelete assumes: data!=NULL
Merge pull request #448 from jankoboehm/spielwiese

Added missing libraries to singular-libs
chg: schubert.lib is not ready yet
Merge pull request #429 from YueRen/polymakelib

Polymakelib
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...
fix version string description
fix: syntax in modstd.lib
fix: version string of tropical.lib
fix: missing compoments in normal (Santiago Laplagne)
Merge pull request #443 from surface-smoothers/fixOptionModificationByAccident.primdec.lib

Fix option modification by accident in primdec.lib
add: doc ring dep. data in ringlist (tr.542)