Pro-TEXT: an Annotated Corpus of Keystroke Logs