#1225 : détecte automatiquement s'il faut installer le script mono.sql ou non, amélioration de l'interface, correction du search_path postgresql