Added option ARDLIBS to specify specific Arduino libraries to be included when generating Arduino firmware.  Needed because sometime when libraries depend on libraries, not all the needed libraries are automatically added.