version 4-0-0, Dec 2013
fix: genus (tr.259)

Conflicts:
	Tst/Short/bug_532_s.res.gz.uu
add: man page for singular
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
chg: option IDLIFT to speed up liftstd (2 args)
tests chenged because ASSUME was introduced
update version number for debian
Added missing libraries to singular-libs
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