video window: Implement a auto-hidden window border

It would be nice if the window title bar (and its close / minimize / maximize icons) would automatically appear if the mouse is over the window, and disappear again if the mouse leave the window.

TODO

• Investigate APIs how this could be done
• Implement a prototype using those APIs in the currently existing "extra video window"