Ensure that the deb apt repository we add is over https

Apt doesn't seem to like redirects, so this is required to make apt installs work on ubuntu.

This partly fixes #62 (for new installs). I don't know how to fix it for existing installs.