The US airman who was stabbed in the neck as he disarmed a terrorist with a Kalashnikov on a French passenger train has left hospital.