A developer multi-tool for Pivotal Tracker