05/06/2013 version 1.1

1) New OpenCL option for running code on a GPU instead of CPU. Use command line
   option -opencl to list opencl supported devices. Then use command line option
   -opencl=n to select the device.

2) New command line option -dumpgen dumps the generator in other supported formats.
