PivotalBooster: an OS X client for Pivotal Tracker