Use postgres for development, fix pg leaderboard bug.
Cleanup some nav/registration ui.