MVPlanner: New plug-in towards the integration of a new multi-vehicle
planner (using PDDL).