Use minidns instead of dnsjava

As discussed in #680