Typeman, a neat typing test for the terminal