A Vagrantfile and assorted scripting to cross-compile VLC for Raspbian