python: key import via HKP example