library.properties types field

[PaulStoffregen]

Some of Arduino's library.properties have "types=Arduino".

The "types" field isn't documented anywhere in the library spec. It probably should be?

https://github.com/arduino/Arduino/wiki/Arduino-IDE-1.5:-Library-specification

[ffissore]

It was a hack actually. I'll remove it asap