Separating sources: kernel/fglm/
Separating headers: kernel/fglm/

NOTE: in this case git was able to detect the movement of headers despite minor changes to them,
in general if git fails to do that one will get separate DELETION and ADDITION of a new file
which is to be avoided e.g. at the cost of an extra commit (with all the changes)
fix: add GMP_CFLAGS for linpolys/reporter
Merge branch 'spielwiese' of github.com:Singular/Sources into spielwiese