Pause and resume recording

Long recordings need a pause key so you can skip the part where you look something up. The encoder has to handle the timestamp gap cleanly.