Move map and editor focus buttons into one

Have a single button that toggles focus between the editor and map,
rather than two separate buttons
Merge branch 'master' of github.com:AlexNisnevich/untrusted

Conflicts:
	scripts/ui.js