main
util/docker: Update the script that updates the website
util: Add docker to automate creation of documentation