A modular ROS package for linear temporal logic based motion planning