* added VariableMap to libgdl::core
* completed tests for Unify
* completed tests for KnowledgeBase