Pre-release for Idris2 0.6.0

[ refactor ] proper pack setup (#47)

* [ refactor ] proper pack setup

* [ CI ] set PACK_DIR variable

* [ lint ] happify linter

* [ cleanup ] .idris-version is no longer needed

Release for Idris2, v0.5.1

v0.5.0

[ release ] v0.5.0

v0.3.1

[ release ] fixed version numbers

New release for Idri2, version 0.4.0

v0.3.0

[ release ] new release vor Idris2 version 0.4.0

v0.2.0

[ doc ] updated Idris2 commit

v0.1.1

[ update ] use new package version numbers

First beta release

Like Idris2, this is still very much experimental. Due to the quick development of Idris, it will also likely get out of sync with the latest version of Idris2.