Remove Mantis Robotics from the directory

Officers and representatives of Mantis Robotics can ask us to take this page down. We review each request, usually within a few business days.