Update index.html

fix capitalisation of CSPLib to be consistent