handy tools to work with Gerber files using Python.