Update manpage version to newer Ubuntu LTS

[wesinator]

Use latest Ubuntu release manpages

#1, #65, #203, #219

[esemeniuc]

Would love to see this merged!

[esemeniuc]

@idank bump for visibility

[esemeniuc]

@idank friendly bump :)

[esemeniuc]

@idank friendly bump :)

[cben]

Can confirm these changes are necessary to even download.
precise manpages e.g. https://manpages.ubuntu.com/manpages/precise/en/man8 no longer available, they all return 404.

And any http: now redirects to https: (could work with curl --location but startign from https: is of course more secure).

The other changes are just for rendered links to be correct 👍

Specifically, the steps to download:

1. tools/extractgzlist
2. Edit tools/extractgzlist to section="1" and run it again.
3. Edit tools/dlgzlist to end with done < gzlist8 and run it (took ~4hours)
4. Edit tools/dlgzlist to end with done < gzlist1 and run it. Will take over a day, I reduced the sleep range to (500, 1000) and it still worked, took ~16hours.

[cben]

• A hundred+ manpages whose name contains .py. can not be scraped from ubuntu.manpages.com, they return 500 Internal Server Error. tools/dlgzlist will list those into ./failed file.
  This is not knew, long-open issue https://bugs.launchpad.net/ubuntu-manpage-repository/+bug/1748773 (commented there).
  This is just a drop in the sea (~0.3%), the other 39449 download fine.