Add workaround for `apt-key` behind a firewall

...as described in #28