add: extend readline completion to all ring-indep. names
chg: new version of tropical.lib by Thomas
Merge pull request #545 from YueRen/spielwiese

chg: new version of tropical.lib by Thomas
Merge pull request #544 from mmklee/algfuncfact2

Algfuncfact2
Minor BS cleanup
Better approach to configuring multiple packages: omalloc/resources/factory

add: precious configure variables {OMALLOC/RESOURCES/FACTORY}_{LIBS/INCLUDES}
fix: also related minor fixes

NOTE: main changes are in m4/options.m4 and factory/configure.ac (which was the motivator for the whole thing)

NOTE2: the cleanup of "-I${top_srcdir}/.." and "-I${top_srcdir}/../factory/include" (and similar for builddir) in favor of {OMALLOC/RESOURCES/FACTORY}_INCLUDES
Minor BS cleanup: no need in -I${srcdir} and -I${builddir} in CPPFLAGS
move s_buff.{cc,h} and si_signals.h to libpolys/reporter
chg: moved reading/writing numbers via ssi to coeffs (p.1)
fix: tr.588 (from master)
fix: tr. 587 (qring q=ideal(0);.... sres()..)
add; test for tr.587
format
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
Separeting Sources: kernel/groebner_walk
Separating Headers groebner_walk 1
Separating Headers: kernel/groebner_walk
Separating Headers groebner_walk update