A Unix shell written in Python