A UNIX shell in Python