extracted runCompiler from clafer.hs to Language/Clafer to make it reusable

separated desugaring out of compile, added ability to retrieve a model
from URL via HTTP
extracted Concat.hs from Alloy generator
Merge branch 'develop' of https://github.com/juodaspaulius/clafer into develop