Added a setting minimap_highlight.

The user can now customize the highlighting color of the minimap.

Conflicts:
	autoload/minimap.py