bro: update from 2.1 to 2.3.1
python2nix: update to latest

Switch to upstream repo now that pull request #3 is merged.
python3Packages.pelican: fix build
pythonPackages.nose: disable tests
nixos: increase timeout for jenkins/munin systemd services
package update: go-1.3.1 -> go-1.3.2

Closes #4279
agda-iowa-stdlib: renamed from aaron-stump-stdlib

Per author's request.