Dummy replacement for avrdude executable in an Arduino install - routes Digispark uploads to proper upload tool, the rest to avrdude - View it on GitHub