Modified SpecRunner.html for automatic tests