Your new library is the github folder "AS3935" copy that folder with all the files and examples folder.
in the arduino install folder "xxx\arduino-1.0.x\libraries" make sure its "libraries" NOT "lib".
FYI:After install I used the example sketch and it verified fine on win7 64-bit, Arduino 1.0.2