Delete mining section stub

Please see https://github.com/saivann/bitcoin.org/issues/41
for why we decided not to include mining in the current version of
the devguide.

Closes #41