Fix by Gerhard for bug in zeroRad
Added missing include for debug version
Update to ellipticcovers.lib
Typo in binresol.lib
Fix for error in debug version
Modified Gerhards fix for zeroRad
Fix for problem with renaming of variables
added assume
chg: defer shutdown caused by SIGTERM if necessary
(cherry picked from commit a76a64e703bae29ffee8057ab2b16abb20f9158a)

Signed-off-by: Andreas Steenpass <steenpass@mathematik.uni-kl.de>

Conflicts:
	Singular/cntrlc.cc
	Singular/cntrlc.h
	Singular/misc_ip.cc
chg: release acquired semaphores before shutdown
(cherry picked from commit 0f27f90c69fc9952c3df5edb6dff0b57fd8ff826)

Signed-off-by: Andreas Steenpass <steenpass@mathematik.uni-kl.de>

Conflicts:
	Singular/links/semaphore.c
	Singular/misc_ip.cc
Merge pull request #389 from jankoboehm/spielwiese

Gerhards fix for zeroRad und some typos
fix: pthreads must be the last lib (on some systems)
fix: resetting already collected libs
chg: Flint with gmp detection
Show MPIR version whenever available with a fallback to GMP
Ignore auto-generated templates
Fixing BS
add: $LIB_DIR/singular/MOD to module search path
chg: new version of schubert.lib
Fixing BS (due to gfanlib)