A javascript library for timing and recording keystrokes and playing them back