Improve video recording management

[rafaellehmkuhl]

Put the video store in charge of managing the video recordings, so recording information gets stored with the stream data. There are two main benefits on this:

• The lifecycle of a widget (e.g.: a view being changed and a recording widget being unmounted) does not affect the state of a recording
• Multiple recordings, from different streams, can be done simultaneously

Fix #624
Fix #633

To be merged after #654.

[rafaellehmkuhl]

@joaoantoniocardoso @patrickelectric open for review.

[joaoantoniocardoso]

Not critical, but confusing at least:

Because the widget shares a global state, and the source selection only happens when the user clicks the record/stop button, the user can't select a different source when there is a recording happening for the first source of the list of streams available, requiring the user to stop the recording before configuring the latter added widget:

cannot_change_recording_source_because_widgets_share_global_state.mp4

note that it is also impossible to record two videos from the same source (let's say, a quick clip and the entire dive)

[rafaellehmkuhl]

Not critical, but confusing at least:

Because the widget shares a global state, and the source selection only happens when the user clicks the record/stop button, the user can't select a different source when there is a recording happening for the first source of the list of streams available, requiring the user to stop the recording before configuring the latter added widget:

cannot_change_recording_source_because_widgets_share_global_state.mp4
note that it is also impossible to record two videos from the same source (let's say, a quick clip and the entire dive)

Nice catch.
I think the multiple records for the same stream is something we can delay for now. Will ask our beta testers what they think about it. But the problem of not being able to record multiple sources I will fix already.

[rafaellehmkuhl]

@joaoantoniocardoso fixed.