Take the servlet-path into account when computing the management-/healht-url.
This is not done for the service-url, since the main use-case for setting the
servlet-path is to get the dispatcher-servlet out of the way for other servlets.

fixes #133