GNOME Shell extension for time tracking