disable deadletter logging during shutdown
make OtState internal + add chat msg types
log isabelle syslog to console + shutdown scala actors