Fix links on navbar and footer
Complete research/modelchecking.html