Rename PragmaSynth.html to index.html