An editor for TAS movie files