Updates to WORKING version of the plugin using a flex scanner instead of caspconverter/rewriter
Merge branch 'theorypropagation' of https://github.com/hexhex/caspplugin into theorypropagation
=Updates to WORKING version of the plugin which uses a flex scanner instead of caspconverter/casprewriter