coqdoc: fix urls of index pages (sequel of commit 1636f7a)
Make sure that Logic/ExtensionalityFacts gets compiled.