Adding VIDEO: Extending Docker with Plugins