Create a git tag for the commit that was submitted for eval 3

[bzinberg]

AFAIK, that is 0cf49ad

[bzinberg]

Also, @ztangent, would you be up for transferring this repo to the probcomp organization?

[ztangent]

Release is here https://github.com/ztangent/Plinf.jl/releases/tag/v0.1.0

I'm reluctant to transfer this as of yet, because I intend to a substantial rewrite of this at some point soon, and it's as of yet unclear to me which parts should go under probcomp vs. the JuliaPlanners organization where I've starting moving some of planning code to.

[bzinberg]

Thanks! Could you please add a tag message indicating that this snapshot was used for Eval 3?

git checkout v0.1.0
git tag -f v0.1.0 -m "Snapshot used in MCS Eval 3 submission, 2020-12-07"
git push --tags