Inconsistent mining productivity naming

[chris13524]

Inside the research window, the bonus for "Mining productivity" reads "Mining drill productivity bonus: +2%". While on the bonuses screen, it reads "Mining bonus: +16%"

IMO, the research bonus should be renamed to "Mining bonus: +2%" because pumpjacks aren't drills.

But now...are pumpjacks mining??

[posila]

Thanks for the report
Fixed for 0.16