Pomodoro technique with todo.txt and punch.py