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