Even if we're not simplifying lets, do constant folding.
Change process_some_tiles to actually work.

It had broken because aggressive simplification was moved later than skip
tiles. This new version of it should be more robust.
Revert incorrect change to simplifier

It's not OK to do constant folding of lets before GPU loop fusion.
Added a tutorial on using the GPU from Halide.