Programmer library of awk functions

The relevant files are in the directory implemenations/num-awk.

The num script is the main script that users download.

The num-*.awk files are library files.

The num-test script is a shell script that runs tests.