Separeting Sources: kernel/groebner_walk
Separating Headers groebner_walk 1
Separating Headers: kernel/groebner_walk
Separating Headers groebner_walk update
Separating Headers kernel/gröbner_walk update 2
update
Merge pull request #547 from adipopescu/SeparatingSources.groebner_walk

Separating sources: kernel/groebner_walk
Separating Sources: kernel/combinatorics
Separating Headers kernel/combinatorics
update 2 headers kernel/hilb.h
Merge pull request #549 from adipopescu/CombinatoricV2

Separation Combinatoric within kernel
Separating Sources: kernel/spectrum
Separating Headers: kernel/spectrum
removed getGMPFloatDigits
small update header
chg: gmp_output_digits -> cf->float_len
last header update
add: modular.lib
(cherry picked from commit 4033c6b71b5bdc43798b4183c90512f5d4871308)

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

Conflicts:
	Singular/singular-libs
Merge pull request #555 from steenpass/modular_sw

add: modular.lib
Merge pull request #550 from adipopescu/Spectrum

Separation of SPECTRUM-related code inside `kernel/`