Delete index.php

This file was not supposed to be pushed yet.