agda-iowa-stdlib: renamed from aaron-stump-stdlib

Per author's request.
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