[petsc-dev] gitlab time tracking feature

[Barry Smith]

https://gitlab.com/help/user/project/time_tracking.md 
<https://gitlab.com/help/user/project/time_tracking.md>

I'm going to use it to replace my previous home-brew version