Krew Index Tracker: a tool that tracks the download stats of Krew plugins