Update Server:

Move the defaultServer to the Module in order to don't have to
rewrite it every time.
Update cabal file:

DNS package before version 1.4.4 contain bug on the TXT record encoding.
The bug is fixed since version 1.4.4