Remove analysis option. Add optimization option.

Now analyses/transformations can be passed to any mode using the --fanalysis_name flags

Optimizations can be enaled with --O1. Just a flag for now, but we can easily extend this to multiple levels.

CPP compiler will run any required analyses before optimization and code generation
Merge branch 'master' of https://github.com/DaMSL/K3-Driver