Minor fixes
Merge pull request #29 from spderosso/master

Changes to the model
Added (1) JSONP model; (2) text for PostMessage and JSONP
Merge branch 'master' of https://github.com/eskang/500lines

Conflicts:
	same-origin-policy/src/cors.als
	same-origin-policy/src/postmessage.als
	same-origin-policy/src/sop.als