Toolbox: Improved make. Minor changes.

- Tools: Slightly changed the interface for tools.
- Tools: Bugfixes.
- Make: Added maps and improved menu.
- Make: Generating maps for files of type 'make'.
- Adding documentation (in progress).