TrigNavTools+TrigNavigation: Merge TrigNavigationSlimmingTool into TrigNavigationThinningSvc.
Remove TrigNavigationSlimmingTool by merging it into TrigNavigationThinningSvc.
Remove TrigNavigationSlimmingTool by merging it into TrigNavigationThinningSvc.