Add matroska format for mkv files in convert.py