Catching up with DBLP.

DBLP now provides the fields for conf./jour. info separately. This came
with a non-backwards-compatible change to their format. DBLP also
changed their HTML formatting of full entries. Who can blame them? Our
approach is particularly fragile, and we should look into getting their
.bib files directly instead of extracting them from a fickle HTML soup.

Other minor changes to JSON "mini-lib" and the inline displaying of book
entries.