A navmesh editor leveraging recast.js