removed gnir1 redefining
fix: wrong order in substitution
Added git-archive: shell script for generating tarballs of repository content

rm: Minor cleanup
chg: setting export-ignore attribute for unwanted repository items during git archive
Minor fixes
Added SYZCHECK to syzextra + some more minor additions
Updating + Fixing
Updated git-archive
fix: copy attributes
add: Manual.lst test without normaliz
fix: cpus available
fix: syntax
fix: tr #658
fix: test output (using option(warn) outside of debugging is a bad idea)
removed piCleanUp
new lib: brillnoether.lib
Merge pull request #658 from mmklee/fix_simpleext

fix: wrong order in substitution
new lib: hess.lib
fix: use igcd instead of gcd (gcd might return 1 if SW_RATIONAL is on)
chg: use sqrf version of bivariate factorization
chg: improve docu