Update devenv.md

Update repositories to our nexus server, and add the Spoofax nightly update site.