Fix generation of documentation in build process #1237

After switch to mkdocs for https://utplsql.org site, we need to update the build process to generate documentation automatically in correct format.