Add Simon's public key
Install PKI from github