chg: new version of schubert.lib
add: a dummy help mode, which simply refers to www.singular.uni-kl.de
fix: examples from derham.lib
fix: rename minIntRoot to minIntRootD to avoid name clash
fix: schubert.lib from master
add schubert.lib to Experimantal libraries
chg: return unresolved names as def (ssi, from master)
chg: update realclassify.lib

The implementation of the splitting lemma has been changed.
min required gmp version is 4.3.2 (which is not available for recent Scientific Linux ) and no longer 3.1.1
Merge pull request #403 from steenpass/realclassify_sw

chg: update realclassify.lib
Merge pull request #402 from surface-smoothers/minGmpVersion

min required gmp version is 4.3.2  and no longer 3.1.1
fix: min required gmp version is 4.2
fix: add missing include
fix: memory leak while calling (external) C routines
Fix to allow external code to use libsingular

Without this change, it is impossible to link a 3rd party tools (such as the libsing GAP package) against a version of libsingular installed via "make install", as no "libpolys" directory is installed.
Merge pull request #406 from fingolfin/patch-1

Fix to allow external code to use libsingular
 chg: code cleanup: removed dead code
fix: printing of newstruct
g: prefer StringAppendS over StringAppend (from master)
fix: libraries should not refer to all.lib but the needed libs