GitLab

I originally implemented navigate_to as a point which is how it's specified in the example messages. Victor requested we implement it as a polygon. The slocum would define that as a point with the radius. In terms of spatial data it would probably make sense as a polygon so we could say we've achieved the waypoint if the latest position is inside the polygon.

I guess ultimately we want to define how the specification works and translate to the platform.