Use debian for dev and fix provisioner

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