Auto-generate docs on PRs and push a commit if there's a diff. #236

Closed justinxzhao closed 2 years ago