keystroke for tablet tags - part 1
fix translate ligatures
update pdf.js, implement improved space detection

current problem:
- does not work with local files (hard-coded server file right now)
- only extracts from first page
- error handling and progressbar not implemented