Removed empty index.php

Should solve bug 563066

Signed-off-by: Stefano Tonetta <tonettas@fbk.eu>
1 file changed