AVR-Ada Dockerfile
This image contains all the AVD-Ada tools and dependencies; it is based on a Fedora 25 image and the RPMs made by Tero Koskinen for that disctribution (http://arduino.ada-language.com/avr-ada-122-rpms-for-fedora-25.html) using the AVR-Ada 1.2.2 release (https://sourceforge.net/projects/avr-ada/).
Also included is avrdude to allow direct uploading to the board.