Removing the deprecated export_arduino.sh script, as it's no longer used. export.sh now has a special arduino target.
Authored by: m0slevin 2015-03-06
Parent: [r197]
Child: [r199]
