Stuff I hacked last night
Merge branch 'master' of github.com:jonasfj/WKTool

Conflicts:
	index.jade
	scripts/Editor.coffee
	scripts/Verifier.coffee
	style/Editor.styl