Is there an efficent lossless (PNG like) encoder for video that could be used with game videos at least?