Update default.rb

Use HTTPS, remove PGP key since MIT server isn't responding