GWT: replace the portal_address portal parameter
The portal_address portal parameter value should be computed using tomcat/apache configuration. This should solve issues with :
- HTTP vs HTTPS
- host renaming
(from redmine: issue id 2985, created on 2021/01/08 by Matthieu Decorde)