graf_karto - Dungeon mapping tool because clearly there are not enough out there!

	Commit message (Collapse)	Author	Age	Lines
*	Add dimension indicator without direct value editing	Arne Dußin	2020-11-10	-2/+21
\|
*	Add basic deletion tool	Arne Dußin	2020-11-01	-1/+18
\|
*	Refactor a major part of the project	Arne Dußin	2020-11-01	-0/+434
	In order to be able to save and load the map, a major rework of the code seemed necessary, since Vector2 and Rectangle of raylib do not implement serialize, and it seems cleanest to use the serialize/deserialize traits of serde, to save for instance to RON. ToolShed was renamed to Editor, since it should better show, that it does quite a bit more than harbour tools. The map data is now centrally saved in the editor, instead of decentralised in the tool structs.