M-TARE: Multi-robot Exploration Planner

(preliminary release)