Database initialization

- Database can be initialized via the GUI
- Removed default database so as to not clobber on git pull
- Detect if the database is corrupt and prompt for initialization
- Tools placed in submenu
- Many small UI tweaks