change default apt key

The existing default key wouldn't show up when running `apt-key list`. The replacement here fixes that. This wasn't a problem until pgp.mit.edu was down today :)