Update mining documentation

Tasks

• Cleanup the Tips when mining Onion Addresses page.
• Update the Tips when mining Onion Addresses page, including references to
  • Onionmine.
  • The Vanity Addresses page.

Time estimation

• Complexity: negligible (0.1 day)
• Uncertainty: low (x1.1)
• Reference (adapted)