Merge pull request #34 from spderosso/master

Some small changes + a bit more on CORS
Added new content to JSONP
Merge branch 'master' of https://github.com/eskang/500lines
Added security implications to JSOPN and PostMessage
- Fixed flow.als
- Added analysis.als & analysis.thm for security properties
some small changes + optional restrictions on the analysis