clean up figwheel

The figwheel integration wasn't quite working right for me.  I've
cleaned it up along with a number of other stale or not-quite-right
things. I don't like intro.html relying on the optimizations none of
figwheel, but I've set it up in a way that doesn't offend me too much.