[mp4tools] Initial import (#4641).