Start of automatic patch generation script
The generated patch already puts all files in the right places and modifies #include paths. The Makefiles are not yet updated. Not yet usable.