Fixes #380: Make sure Debian repos are in sync.
Merge pull request #381 from kasperisager/hotfix/vagrant-provisioning

Make sure Debian repos are in sync.
fixed typos
Merge pull request #391 from archony/patch-1

fixed typos