A python library to work with remote servers via ssh