Add header files from Python source