GitLab Total Time

Add total time to header of lists on GitLab boards

Ekde 2024/08/15. Vidu La ĝisdata versio.