Get rid of binary files

[kordejong]

In general, binary files (the maps) should not be in a git repository. There are other ways to handle those.

If you indeed want to remove them, there are special tricks to remove them from the history also. Otherwise they stay there forever.

[DerekKarssenberg]

As a first step I grouped them in one folder.