Delete index.php

not to be kept on github