RealPlayer adds video editing, new devices