Well as the title suggests, we have created .arduboy files for every game, available through our website: http://www.team-arg.com/games.html
The same goes for all of our demos: http://www.team-arg.com/demos.html
For our demo demoScene we even provide 3 different binaries each with a different songs, within the same file. Our loader let's you decide which one you want to upload right after you click upload.
To upload an .arduboy file, you can use our Arduboy Game Loader: http://www.team-arg.com/AGL-manual.html