Add installation script

This script is designed to be run inside a virtual machine (currently,
Debian Wheezy).