vaporup/ssh-tools: Making SSH more convenient

Useful tools like ssh-ping and ssh-diff for doing stuff over ssh