Implement manual CSE strategy

CSE (Common Subexpression Elimination) will become a key feature once we start measuring things. Autotuning will be a big task for the future here, but there is a simple approach we can implement for manual CSE:

Inspect the input UFL file for any variables matching cse* and produce a substitution rule for those.