.commit_docs.sh: initial version of the documentation update script