I have taken a look to the files that mellis mentioned in one of the previous posts. I think, it will be not too complicated to make some Atmega16 or 32 files. I like the Atmega16 because it is cheap and have more I/O pins. As a first step, we could try to create the necessary files for Atmega16 and 32. So more experienced users would be able to upload their .hex files with an ISP programmer and AVRDude on homemade Atmel/Arduino boards.