This changes `export.sh` to export diffs instead of patches. `export.sh` now does not touch working directory, thus not triggering clean builds and not intefering with an on-going build.
Andrey Lushnikov