Generate and add real database locally

1. Terminal #1 - SSH into the server: ssh ais@bornholm.sys.armada.nu
2. Terminal #1 - Run script that creates new developer database: ./dump-database.sh
3. In terminal #2 - Copy the developer database to your local computer in your current folder: scp ais@bornholm.sys.armada.nu:/home/ais/ais-database.sql ais-developer-database.sql

Move ais-developer-database.sql to the AIS repo and enter its directory, then:

1. vagrant up
2. vagrant ssh
3. Log into psql as postgres user: psql -U postgres
4. Drop database: drop database ais_dev;
5. Quit psql: \q
6. Create database as user postgres: psql -U postgres < ais-developer-database.sql