DivX for Mac, the shareware player that allows users to view high definition H.264 (.mkv) videos with AAC audio and video, hit version 7.2 yesterday. The new version, a 30.5…