Pragmas

Add command line parameters as string pragmas in the source file. 

See tests/pos/pragma0.hs or web/demos/Order.hs for an example.