User to pass codegen only in one place

[ccfontes]

Problem: For now, the user needs to configure codegen both in stack.yml and pack.toml.

Solution: Hack an idris2-pack fork to allow passing --cg <codegen> to build command

[ccfontes]

Fixed by #26