A port and front end of potrace on Android