917 gulf | Porsche 917, Porsche, Porsche motorsport