Just a custom Python script to take a picture every N seconds. And ffmpeg to combine into video. Nothing fancy.