ui: Disable the mobile stylesheet for now

I haven't kept it up to date, so it's mostly broken and useless at the
moment...
ui: Make browser language detection more robust
env.sh: Fix sourcing detection on CentOS
Add Vagrant box

This box is based on CentOS to ensure we're compatible there... And so
far we're not :-/