Update index.html

Added Quint test codes