updated the oauth example: (1) operation names start with a capital letter because they generate classes; (2) made sure that all operations/funs are executable, have no scoping issues, and are translatable to Alloy expressions
Merge branch 'master' of github.com:aleksandarmilicevic/seculloy