All of those images are made by me and are released as Public Domain, so they can be used whitout any restriction.
The file format is SVG, a W3C standard and, in my experience, the best tool for viewing and editing them is Inkscape, but any SVG editor should do the job.