Add support for Debian

Instuctions from Ubuntu 12.04 work on Debian, too.
Please specify which versions this platform supports. See how it's implemented for `Ubuntu1204` which only matches 12.04