linting
fix url problem in pdf.js annotations.js
progress indicator for extraction of annotations