Changed lots of things. Started a mini-terminal that can be used to
control the backend, and make it easier to monitor what is going on,
and to debug modules. This also contains some temporary code in
Core.java to migrate our old database into the new one.