Add libkrb5-dev dep

Merged Drew Blessing requested to merge dblessing/gitlab-development-kit:add_krb_dep into master

Vagrant fails because libkrb5-dev isn't installed. Add the package to the apt-get install line.