Cliinstaller.php docs: Note config-install-extensions is used too

Change-Id: I996c59e32de931d9d58e89ef09ad1dd0fe5199ae
Merge "Cliinstaller.php docs: Note config-install-extensions is used too"