Modified SDSL to Alloy translation; added HTTP case study
Merge branch 'master' of https://github.com/aleksandarmilicevic/seculloy