Vagrantfile for Webdis a fast HTTP interface for Redis