Vagrant and Docker environment for Virtuoso 7