Mining pick code cleanup

Picks now have a var to determine what they can mine. Picks mine rocks, shovels mine soil, and drills can mine both.
Shovels now inherit from drills, as do diamond drills and the borg drill.
You no longer mine active gibtonite by walking into it. For a discussion as to why, see #1407. Borgs can deactivate active gibtonite by bumping into it, however.
Code got a little cleaner, and should use a bit less snowflake now.
Replaced some spans.

Also fixed non-Box maps not having updated pipe types.