How to easily extract start/end times of several clips within a video?
As an initial approach, gnome-subtitles seems to be an interesting option.

sudo apt-get install gnome-subtitles


One can marking the beginning and end of each clip as one dialog entry in the subtitle file, which can be saved as srt and later transformed to be used with ffmpeg.