Install VirtualBox and the CS50 appliance