Add support for Debian

Instuctions from Ubuntu 12.04 work on Debian, too.