Add a link to ModelCheckingWithXText.html on index.html