Merged lp:~widelands-dev/widelands/workarea-fixes: · Draw a narrow border around workareas for better visibility · Improve performance by only recalculating the workarea shader data when needed · Add the hotkey W to enable/disable highlighting workarea overlaps