Add Short Mining Section

* High-level overview of mining; some details may be not-quite-correct.
  Corrections welcome.

Preview: <http://dg2.dtrt.org/en/developer-guide#mining>

In the absence of critical feedback, I'll merge this in about 24 hours (21:00 UTC on April 16th).