Issue #86: Disable the sign-in button only when the portal URL is missing.
Improve HeaderMenu state names.
Remove unused imports.
Merge branch '#86/disable-sign-in-only-when-portal-url-is-missing' into develop