Update GitHub workflows, and remove old CircleCI config

[mcmire]

• The GitHub workflows are missing documentation-related workflows
• typedoc is missing from dependencies, and typedoc.json is missing
• This repo also seems to contain configuration for CircleCI, and this shouldn't be necessary