Support for debian repository URI

The URI for Debian is only slightly different from the Ubuntu one: its last section is 'debian' instead of 'ubuntu'.

By interpolating the platform, we can easily support both distributions.
Merge pull request #1 from riccieri/patch-1

Support for debian repository URI