Fixes to the github automation and ssh key generation

Closes #11