chg: rewrite assprimeszerodim.lib based on modular.lib

(cherry picked from commit eeb2187019e8f379569be07360d245edfba0903a)
Signed-off-by: Andreas Steenpass <steenpass@mathematik.uni-kl.de>

Conflicts:
	Singular/LIB/assprimeszerodim.lib
chg: update tests for assprimeszerodim.lib

(cherry picked from commit 56603b02d3f85bff9a5dc45e81b00295f235a284)
Signed-off-by: Andreas Steenpass <steenpass@mathematik.uni-kl.de>

Conflicts:
	Tst/Short/ok_s.lst

+ add assprimeszerodim_s.tst to Short.lst
chg: update results for Manual/assPrimes.tst

The old and the new result are mathematically the same.
I have checked this manually.
chg: remove assprimeszerodim.lib from comment in modstd.lib

(cherry picked from commit 1ef0808a0a380adcc154495021d1684cb966a853)
Signed-off-by: Andreas Steenpass <steenpass@mathematik.uni-kl.de>

Conflicts:
	Singular/LIB/modstd.lib
Merge pull request #596 from steenpass/assprimeszerodim_sw

update assprimeszerodim.lib
activate 64bit repr. for Q
chg: break factor recovery earlier
chg: make sure factor's not a constant from the alg. func. field
fix: clear denominators before computing norm
chg: asserts in cfModResultant
chg: added new test for factorization over Q(a)
chg: moved some commented out tests from Short to Long
chg: added more tests for char_series from old libfac/charset/tests
chg: move algext.* -> cfGcdAlgExt.*
chg: update includes due to moving algext
fix: really need a charSet
fix: stupid bug in compress
chg: refactor SteelTrager
chg: added a section that describes how to add new code to factory
chg: added Limitations and Nomenclature
fix: wrong bound