Python library for compressing video