Redo `std.awk` generation using `gawktexi.in`

[xonixx]

https://git.savannah.gnu.org/cgit/gawk.git/tree/doc/gawktexi.in

Current approach using html parsing is very brittle.

[xonixx]

Till we do this we need to add to repo "working" HTMLs.