Carve out the repo to fit "just our needs"

[huitseeker]

We have imported a lot of stuff with nova-scotia and circom-compat. We should work towards:

• just the files we need, nothing more,
• a CI run through Github Actions that works for us,