Minor fixes
Changes to the model.

- fixed bug in postmessage
- more consistent use of Origin
- s/url2origin/origin
- other misc 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
- added EventHandler in script.als
- fixed postmessage.als to model the message from browser to script as ReceiveMessage event handler
nitpick
Fixed JSONP model
Merge pull request #30 from spderosso/master

nitpick
first cut at docdomain security implications
style fix
changes in comments
setdomain changes
fixes in chapter
Merge pull request #31 from spderosso/model

Changes to model and progress in docdomain chapter
Added more text to PostMessage section
Merge branch 'master' of https://github.com/eskang/500lines
update to sop chapter
use util/relation
simplified sop relaxation