Add Debian 7 to the list of supported distributions.