Prune ompl.

OMPL doesn't build on ARM. Remove it.