Remove recording button

There does exist a Red Dot recording button in our player controls. Its usage is not recommended (instead video exports from the file menu should be used). At least on Mac it is currently not working as well.

It should be removed.