Merge pull request #7 from gsdlab/ClaferModelView

Clafer Model View
Added Cache checkbox.
Implemented basic cache. Need to solve problem with http requests.
Fixed bugs. Now caching works.
Merge pull request #9 from gsdlab/Cache

Merged Cache feature
Mrge branch 'develop' into MultipleBackends

Conflicts:
	Server/Client/md_input.js
	Server/server.js

Glease enter the commit message for your changes. Lines starting
Fixed merge errors.