Re: renamed rumprun toolchain available

[Antti Kantee]

I merged the toolchain rename bits.  I also updated the wiki and 
rumprun-packages.  If you find further references to old toolchain 
names, please adjust them or let us now.

with thanks to Martin and Ian for figuring out what the tuple should be
  - antti