New version of Vagrant base box.
Merge branch 'next' of github.com:zhdk/leihs into next
Merge branch 'next' of github.com:zhdk/leihs into next