epub: treat html documents with properties=nav as a toc document