Added a script to process collaborators.yaml into html.