v0.1.2: Check out code when creating a release (#1037)

This was a small oversight in #1034; we should have been checking out
the repo's code to get access to `package/version`. Will fix the release
build when merged.

---------

Co-authored-by: devops <devops@runtimeverification.com>