Fracking: More gas agent fixes to prevent stuck/misbehaving gas
Fracking: Better detection of filled well patches
Fracking: Whitespace/logging cleanup
Fracking: Make the drilling speed more configurable