v1.17.0
Add user agent to SDE download
Add workflow to check docs build
Add code formatting checking to Github Actions
Add testing with released LLVM 13.0 to CI
Use two-stage selfbuild in CI (Linux only)