vagrantbox: delete play PID on startup if exists
vagrantbox: now included missing static files

* welcome directory hadn't been git-added to .vagrant_settings