Renamed HSL-planner to HSL-Navigator