A web UI and set of tools for parsing pdf documents and making them searchable and interactive using HTML5