Create GitHub action to run doctools.py on pull requests

[sei-renae]

Independent contributors have local git hooks to run src/ssvc/doctools.py if code is changed in src/ssvc/*.

We want a GitHub action to run doctools.py on pull requests before merging, and then commit changes made in data/