“How To get to Mars” is a clip from the IMAX documentary “Roving Mars” from 2006. This is an edited short version.