Use Fedora 20 final release ISO
Add a template for Fedora 19 (x86_64)
Move VirtualBox specific stuff to a provisioning script
Fix the name of the VirtualBox builder
Do not install iprutils