Moderately better text selection system
Update pdf.js
Rename textCache to textAggregate 

- as to not confuse it with an optimisation