Build: add a modified index.php script to outdir (+ additional build setting) 

To make installing from user specified locations easier, include the
index.php file in the final folder .