altcoins: Move all the coins into one file; fiddle with names.