Development of both type I–B and type II CRISPR/Cas genome editing systems in the cellulolytic bacterium Clostridium thermocellum