solves circular dependency problems in ISallyKnowledge, updates Theo with closing/updating window
improved message sending. Removed several unused libraries.
Merge branch 'master' of https://github.com/KWARC/Sally
Commit changes of last pull from main.