Document installation on Debian 7.2.0