fix and enhance (a little) cli_install.php
add global switch to make the server as a mirror

This option allow the server to be filtered out of mirrors list sent to an agent.

closes #2034