* Support disabling videos by passing video_callable=False
* monitor.py: Flush after closing video recorder
This ensures that the last video recorded ends up
in the manifest
Before, on a headless server I was losing manifests with:
NullFunctionError: Attempt to call an undefined function glIsFramebuffer, check for bool(glIsFramebuffer) before calling (when closing Ant-v0)