Get rid of Prodnet.

These two commits get rid of most references to the misnamed "prodnet", which is correctly called "mainnet".