Use DNS for resolving {REPOSITORY,PROXY}_HOST
Merge pull request #54 from timotm/use-dns-for-jenkins

Use DNS for resolving {REPOSITORY,PROXY}_HOST