Documentation cleanup
Set the default correlation timeout to 300 seconds.
stereo and point2dem: Minor fixes for robustness
Docs: More fixes