Vagrantfile for up and running WSO2 Identity Server 4.6.0