Add some Python tools.