MambaVector Simple JavaFX vector shape editor (at the moment, useless for any production work, but that will change soon)