Some command-line tools for Arduino hackers