Add trim.py tool.