Build specification PDF & HTML in CI on PR and merge to main

[jpschorr]

This repo should use CI (presumably GitHub Actions) to assure the spec builds on PRs as well as to automatically build artifacts and create Releases on merge to main.