Use Avahi for host management

Fixes #73 and paves the way for #42.