Remove html docs options from python and python3

The tarballs are updated frequently, so the checksums are not stable.
Since documentation updates happen more often than python releases, the
installed docs will become stale, so it doesn't make sense to tie them
to the installed python in this way. Users are better off viewing the
documentation online or downloading the tarballs manually if an offline
copy is required.

Closes #31088.
Closes #31127.

Squashed commit of the following:

commit 78c5fba482aa827fe0168de04412a1100219cae6
Author: Jack Nagel <jacknagel@gmail.com>
Date:   Sun Jul 27 01:15:05 2014 -0500

    Revert "python3: add with-docs option"

    This reverts commit 0005b34ed3276f71f0cc89806423c5c7b6374034.

commit 8abfb19d51583fa4370eea9b8e33355da830a104
Author: Jack Nagel <jacknagel@gmail.com>
Date:   Sun Jul 27 01:14:57 2014 -0500

    Revert "python: add --with-docs option"

    This reverts commit 97cef6041f78e2d8a9dd6f36725ddc056a9b6e2c.

commit ada80382f347641ed6b947210d94249d114f9604
Author: Jack Nagel <jacknagel@gmail.com>
Date:   Sun Jul 27 01:14:45 2014 -0500

    Revert "python: fix docs checksum"

    This reverts commit c0bffbcdc9d9f729b382bd3bfd4cef5fc66fcc19.