A small extension for Python's cmd module.