Glue undoable
added footer that displays current karma home directory
Add ability to change Karma User Home Directory from UI
Fixed triplesmap graph merging
Added copyright headers for kr2rml code
v2.018
Merge branch 'development'