Add CI to ensure Doxygen files can be built

[smpark7]

This issue can be closed when someone adds a CI test that checks whether Doxygen files can be built whenever a new PR is created, without deploying the built files into gh-pages. Deployment is already handled by an existing GitHub Action after PRs are merged.