Added Clafer source editor
Fixed GitIgnore
Merge pull request #3 from gsdlab/ClaferTextEditor

Clafer text editor