Also delete Github SSH key during `delete_checkout_key()`

[pat-s]

Requires a GITHUB_PAT set with admin:public_key scope: https://developer.github.com/v3/users/keys/#delete-a-public-key

[pat-s]

Doing it in tests now via an env var on Circle CI which holds the GH token with the required scopes. 8e61520