VerifySketchConfig is run as a standalone script, that uses the Arduino command line interface to verify that our examples will compile. It is not run from within Arduino, and should be run from a terminal.
VerifySketchConfig library is just a python script, and its only interaction with Arduino is calling the Arduino command line interface on some INO files.
Yep, you should remove the "-master" from the folder names on the libraries. This is a stupid thing from github, it indicates which branch of code it came from. I see now that the Bricktronics libraries' readme file says "Rename the uncompressed folder BricktronicsButton" (or similar), but I should do the same for the readme for the VerifySketchConfig repository.
I just noticed there was a bug in the VerifySketchConfig python script, so you should re-download it to prevent the error.