Removing the "export_arduino.sh" script, and replacing it with a generic "export.sh" script, which will export the kernel source for a given target on-demand. This script will also regenerate doxygen and pdf documentation as part of the export process, and .zip the whole thing up.