A simple ssh hosts manage tool in python.