opf: add a html5-nav toc test with an empty properties attribute