Use the 80 port with keyserver.ubuntu.com

Use the 80 port with keyserver.ubuntu.com so it works with corporate firewalls
Merge pull request #485 from brunoqc/patch-1

* Packaging: connect to Ubuntu key server on port 80