master
Commit all changes for development gawk.
Add time extension providing gettimeofday and sleep.
Minor doc fixes.