A time tracker plugin for ChiliProject