Update README.md
Merge pull request #4 from sschueller/patch-1

Some info on how to use in alloy project