Scheme "http" in hyperlinks should be replaced with "https"

[gibson042]

Of the seven such links, all of them have a working https analog (although it's worth noting that https://ampl.com/REFS/abstracts.html#rounding gets redirected to a front page rather than the content we actually want at https://ampl.com/wp-content/uploads/rounding.pdf , cf. 0352741 and https://web.archive.org/web/20211111001646/http://ampl.com/REFS/abstracts.html#rounding ).

grep -o 'href="*http:[^">]*' spec.html | sed 's/href="*//; s/http:/https:/'

https://ampl.com/REFS/abstracts.html#rounding

https://netlib.sandia.gov/fp/dtoa.c

https://netlib.sandia.gov/fp/g_fmt.c

https://www.unicode.org/glossary/#well_formed_code_unit_sequence

https://www.netlib.org/fdlibm

https://doi.acm.org/10.1145/263698.263733

https://www.jucs.org/jucs_14_21/eliminating_cycles_in_weak