v1.0.1

Minor update, which uses the latest stable release of agdarsec (v0.5.0), as opposed to a commit hash.

v1.0.0

Now that Agda 2.6.2 has officially been release, we can have a stable release for Schmitty!