Automated Composition of Motion Primitives for Multi-Robot Systems from Safe LTL Specications