BatchEdits: bulk video editor