Implement a week after it's in the beta channel. The code in beta got merged on 8/9, so a patch that fixes this should not be merged before 8/16.
- SkinMinervaBeta#buildPersonalTools is moved to SkinMinerva#buildPersonalTools, overwriting it (443db1c)
- SkinMinervaBeta#insertContributionsMenuItem is moved to SkinMinerva#insertContributionsMenuItem (443db1c)
- The shim in skins.minerva.scripts.top/init.js is removed (365dc95)