currently, PeTrack can save videos as *.avi (very large)
It would be awesome, if we could also save as *.mp4!!!