Integrate recorder#3

Merged

corrados merged 16 commits intomasterfrom

integrate_recorder

Apr 12, 2019

Commits on Apr 3, 2019

Commits on Apr 10, 2019

Commits on Apr 11, 2019

- remove unnecessary command line argument (if directory is given, the recording is enabled automatically
corrados
committed

Commits on Apr 12, 2019