Closes Issue #1

Migrate to PostgreSQL and document the migration in the docs.
While here, fix indentation issues.