select All checkbox for Manage Models
Merge branch 'development' of https://github.com/InformationIntegrationGroup/Web-Karma into development

Conflicts:
	karma-web/src/main/webapp/index.jsp
	karma-web/src/main/webapp/js/semanticTypes.js
	karma-web/src/main/webapp/js/worksheetOptions.js