install.php comme point d'entrée possible

Permet d'appeler install.php directement plutôt que index.php (qui reste
possible).