Vagrant stuff to build a docker compatible Jenkins