Sort generated man pages by name in various lists.

Also, re-generate the configure scripts.
Add the generated time stamp precision API man pages to the .gitignore list.