Python library to read characters and key strokes