Richinput is a library to read one character at a time from standard input in a nonblocking way