Fixed idris wrapper to make idris work with different backends.

Closes #4314
fix mirror
pleasant ruby
some improvements
add libs to GEM_PATH
stop using gross dependency resolution
allow importGems to override cp args
include patches
correctly implement patching
further improvements to patches and build process
more gem improvements
terminal-notifier
ruby-dotenv
gem build updates
ruby updates
call patches with the right nix
reorder gem phases
patch logic
remove depsPath
update patch comments