mrconfig: add some Maven repositories

Yay, Maven being on GitHub!
mrconfig: eliminate SVN repositories

Two of them are now mirrored to fiji.sc by Jenkins;
the other one is not needed for now.