Roughed in keybase proof fragment, and implemented GitHub prover