Auto-update man pages

Well, maybe auto-updating is not that expensive after all.

Not sure if relying on libcurl would be a problem.