Polymakelib

still an error in snapshot dependencies due to factory, but not sure why. None of the commits in this pull request changes anything about factory. :(

http://schmetterhemd.mathematik.uni-kl.de:31111/viewType.html?buildTypeId=bt7&branch_Singular=polymakelib&tab=buildTypeStatusDiv