As filmmakers and distributors race to produce and release typical summertime fare, alternative offerings like documentaries have stepped up to help fill the void, in many ways making this “the summer of the documentary.” Here are brief looks at nine films worth seeing.