ignoring the local tool

just a tool to copy from the Arduino working environment into the git
repo