Version Jenkins build

[JamesYang007]

We should pipeline Jenkins build script in our repo

[tbenthompson]

Closing since I think we will abandon Jenkins for github actions CI just because we don't want to depend on Gary's servers. The only thing that isn't currently reproduced on the github actions workflow is the performance benchmarks. We'll probably need to think about how to do benchmarks well in the future, but I don't think we're at the stage yet where we want to spend effort maintaining benchmarks.

[tbenthompson]

See here for discussion of future benchmarking set up: #15