Add a log on manipulator parameters.
Fix the bad usage of set union in repair.
Make is_manipulator_scheduled work with multiple entries.
Do not schedule AutoWarmUpIdleShips if there is WarmUp scheduled.