add redhat-vagrant-box.json