OkShell: a command line interface for humans