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
updated with gsdlab/clafer/develop