Add installation script for Debian 7.1.