#6 HTML5 compatible bookmarks

[Paul Krause]

In HTML5, the "name" attribute of the "A" tag is deprecated, and the "label" attribute is undefined, causing verification errors.

This patch allows you to create anchors using the syntax
<a id="MyBookmark" rel="pdfbookmark"> instead of
<a name="MyBookmark" label="pdfbookmark">