IEC 40719-libraries

If the option IEC 40719 libraries is set, the directory for the IEC40719 symbol libraries is used.