2.0 Big Electric Mining Drill

This mod adds a janky version of the Big electric mining drill from the as-yet-unreleased 2.0 Expansion. The mining area is increased to 13x13, and mining speed is faster per unit tile. The drill only depletes richness half the time. (Note: This is implemented as bonus productivity and 50% speed, which doesn't multiply properly with extra productivity or modules).