Vagrant box to develop WebPlatform Docs MediaWiki extensions.