started work on new assistants
extended assistants and adapted ghc and isabelle... not working yet
implementations should define application.conf
improved assistants
disable deadletter logging during shutdown
make OtState internal + add chat msg types
log isabelle syslog to console + shutdown scala actors
fix concurrency issue with acknowledgements
turn of deadletters also in core
chat message types
change cursor handling