Add shutdown hook to unify destroy between servlets and filters.

Would be nice to just use "destroy", but it's abstract in one and concrete
in the other, and that makes it hard to use with stackable traits.
Shut down the Scalate compiler thread.