Add a timeout to the RESTful artifact cache.

Also fix a couple of nits.