Remove unused dev_tools helper.

王权利请求将github/fork/cirosantilli/rm-dev-tools合并到master

Created by: cirosantilli

Dead code 💀

And in principle should not exist: making development look different from tests / production is a very last case option, likely do drive devs nuts.

合并请求报告