Instead of deleting index.php, you can now create a file called installed.txt

This means I no longer need git complaining that install.php is deleted if I want to run the application >.>