Make devstack release Vagrantfile use aspen-rc1 box if requested

It's just a mapping from <git branch name> to the name and URL path to use for the Vagrant box. I've added comment to that effect in the pull request. Is it clear enough, or is it still confusing?