allow changing the registration server URL in installation

via  boot command line ("reg_url" option) (FATE#312433)

- 3.1.14