Improve installing Idris packages