Use debian for dev and fix provisioner

fixes #430 on github

Provisioner now works with a debian vm as well as a debian production
server. Upgraded postgres while in the process of fixing dependency sources.