Use wget to retrieve checkdoc-batch.el

curl was blocking on this download when run on travis.