chg: update realclassify.lib
Merge pull request #392 from steenpass/realclassify

chg: update realclassify.lib
doc: fetch maps variables without an image to 0 (#518)
chg: require a type for all procedure arguments, warn otherwise
fix: possible seg fault in factorization
Merge pull request #396 from mmklee/bug_fac

fix: possible seg fault in factorization
chg: added test for possible seg fault in factorization
add: nameof for blackbox types
chg: new version of schubert.lib
chg: list of new libs
chg: allow objects of type def in Eval (ssi)
chg: return unresolved names as def
chg: update realclassify.lib

The implementation of the splitting lemma has been changed.
Merge pull request #401 from steenpass/realclassify

chg: update realclassify.lib
Merge pull request #399 from mmklee/bug_fac

chg: added test for possible seg fault in factorization
fix: add missing include
fix: memory leak while calling (external) C routines
fix: avoid redefineing of struct sigcontext
fix: compiler warning
fix: space is not allowd after -L/-I in compiling/linking (at least on OsX)