Changes to load any pdf

Any pdf can now be loaded by concatenating "?file=/path/to/pdf/" with
the index.html url.