Switch to using the new HP Public Keys.

HP has a new GPG signing key.  Let's use it.
http://downloads.linux.hp.com/SDR/keys.html
Update versions for 0.1.2 release.
Merge branch 'release/0.1.2' into develop