Two long wars have left nearly a half a million veterans suffering from PTSD. For many of them, gaming offers a unique form of support.