Make devstack release Vagrantfile use aspen-rc1 box if requested