Fix mining drill digging in the wrong direction

ShadowNinja

2013-12-23 8e2cb0121b4c86d85e2da82d89b44e9cb3b70dd3

 technic/tools/mining_drill.lua

@@ -172,9 +172,9 @@
      end
      if dir==3 then  -- z-
         drill_dig_it0 (pos,player)
         pos.z=pos.z+1
         pos.z=pos.z-1
         drill_dig_it0 (pos,player)
         pos.z=pos.z+1
         pos.z=pos.z-1
         drill_dig_it0 (pos,player)
      end
   end