Fix issue #103 (Dirigible runtime prevents tomcat from shutting down)

Shutdown all executors on "contextDestroyed" and use a named thread
factory in order to make the executors' threads distinguishable in
thread dumps