Add an option to enable rosdistro pushes over ssh.
Merge pull request #220 from trainman419/ssh_checkout

Add an option to enable rosdistro pushes over ssh.