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

	Commit message (Collapse)	Author	Age	Lines
*	Change to f64 as the preferred floating point number	Arne Dußin	2020-11-27	-20/+22
\|
*	Make polygons deletable	Arne Dußin	2020-11-26	-19/+24
\| \| \| \| \| \|	Before, the deletion tool was not targeting polygons. I also took the liberty to broaden the functionality of the surface trait, which now can check if a rectangle or polygon is contained.
*	Move containment of points/ lines into trait	Arne Dußin	2020-11-21	-55/+57
\|
*	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/+178
	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.