[dpkg] Added URL and Vendor fields to generated debs.

This is used by the Packages index generate by apt-ftparchive and might be useful when we set up a repository.
[dpkg] Adapted Debian packaging script to use the actual compiler version.
Merge pull request #742 from wvdschel/master

Various Debian packaging improvements.