Various COFFEE improvements

Three major points are addressed:
- The code has been refactored and now is much more clean. I like the way it is, although something else could be done in the future. You'll see lots of changes if you compare the code, but actually most of them are just about moving things around and renaming methods/variables etc. 
- Fix a few nasty bugs when symbolically executing the kernel to track the propagation of zeros
- Improves code motion by also recognizing the presence of duplicates in the hoisted code (this was done also previously, but not in the systematic way we do it now)
"We" yes, but FFC/FIAT kind of does not (right, @dorugeber ?), nor coffee. A block-sparse table, for COFFEE, is a block-sparse table, no matter how it gets that