[NB] Use uint16_t for array size.
[NB] Add Arduino library files.
Fix get_sketch_directory function

Fix `get_sketch_directory` function, which was broken by the addition of the
`Arduino/library` directory in the previous commit.