added information about how to update a running Mapbender3 installation