Command line tools that are useful for teaching