Generate "muni-kypo/" prefix automatically in case of MU box images
MU box images should be named without the prefix "muni-kypo/", and the prefix should be generated automatically.
MU boxes are hosted at Vagrant Cloud: https://app.vagrantup.com/MUNI-KYPO/.
Edited by Jan Vykopal