CO-Dependent H2 Production by Genetically Engineered Thermococcus onnurineus NA1