Make sure progress bar is just advancing.

When on a connection with large latency (100 ms) progress bar can
jiggle a bit around, it seems. The reason is that PDF.js is calling
progress callbacks out of order (probably how requests are coming back).
Enter key to publish an annotation comment. Fixes #467