Add check for missing library.properties to check_library_structure

[per1234]

Unlike the Arduino IDE, Arduino Web Editor requires that even libraries in the 1.0 format have a library.properties file. If the file is missing, library import fails.

It's possible this requirement of Arduino Web Editor may eventually be removed, so I should verify that it still exists before adding this check.