Update README.md

Update example code to reflect move of Alloy in README.md