Add GPG key to installation docs
manually merge and massage pr #10