update GitHub actions workflow

[jamesscottbrown]

• work with master branch rather than sbol3 branch
• upload the spec PDF as a release artifact when a release is made (fix #370)