Two documentaries on the Afghan war, Restrepo and Armadillo, show how a combination of overwhelming military resources and aggressive counterinsurgency ultimately leads to frustration on the battlefield