Click Arduino-keyboard-0.3.hex link to download the file.