Add `update_html_docs.sh` POSIX shell script for updating the HTML documentation of the library and the development tools