A movie editor for EVE Online Machinimas