GUI: fixed URLs to respect new setting

- Default URL leads to KRB on devel and to NON on production.
- Use also /fed/ and /cert/ on devel.
- Added "krb-einfra" as URL option, provided by html pages
  "[GUI module name]KrbEinfra.html".