Removed index_dev.php as is not needed anymore

As said in 1to1 with Bertrand, index_dev.php is not needed anymore and so this file can be deleted. 

Let me know if you want a jira issue for this.