migrate Idris

Remaining issues that I know of:

• I'm getting an error in the "building libraries" step, but I think it might just be due to me being on Windows.
• I wasn't able to migrate the test hook because it modifies the PackageDescription. I haven't quite understood why that was necessary.