Bob's Mining

Adds some useful mining tools and entities.
a month ago
0.13 - 0.17
427517