Update 4 3 3
Minor modifications wrt. diff-resize:
- more general diff_resize2 interface
- Fixed typos
- Added crop_video (not very general atm), similar to join_video
- Fixed + clarified branching Fourier/non-Fourier diff-resize
Minor modifications wrt. diff-resize: