Merge pull request #30 from mmklee/moreSparseHeuristic

More sparse heuristic (master)

please note that for spielwiese, one need the following includes in facSparseHensel.cc:

#include "config.h"
#include "cf_assert.h"
Merge pull request #29 from mmklee/factory_sqrfree

Factory sqrfree

NOTE: these changes have been tested in SW.
add: more debug messages for kDebugPrint
fix: more fixes for kDebugPrint
fix: more fixes for kDebugPrint
fix: sqrfree in grobcov.lib
modstd.lib: Example in modpStd has been changed.
symodstd.lib: Library for computing Groebner basis of symmetric ideals.
add: new library symodstd.lib
add: symodstd test
release 3-1-4
relase 3-1-4: doc
release 3-1-4: more doc: NEWS, new libs
fix: typo
fix: disable semaphore stuff
chg: changed behaviour of sqrfree with optional argument 3
release 3-1-4: COPYING
add tests for parallel.lib und realclassify.lib

These libraries are work in progress, so for the moment, the tests are just
taken from the examples in the documentation.
add: results for tests: parallel_s, realclassify_s
update documentation for parallel.lib and realclassify.lib
fix bug in symodstd.lib

on behalf of Stefan Steidel