Programmable Transitions for Video Stream Editing