[ fix ] Fix bugs in stage 3 (stefan-hoeck#357)

* [ fix ] Fix cleanup after stage 3

* [ fix ] Pass `PREFIX` to `idris2-exec`

* [ fix ] Use correct `PREFIX` in stage 2

* [ micropack ] Update installers

Author: spcfox