Some finishing touches. Improves performance on Linux.

Now properly closes both emitter and socket on hard shutdown. Also
includes latest snapshot of JmDNS.jar.