Added ability to highlight elements in the spec editor
Merge remote-tracking branch 'origin/devel' into devel

Conflicts:
	src/main/java/edu/ycp/cs/dh/acegwt/client/ace/AceEditor.java
Added ability to highlight elements in the spec editor