more reusable Vagrantfile; drop excess device remap; minor cleanup