Rename firmware files during release, add SHA256SUMS.txt

This should be a bit easier to work with than firmware.bin, firmware
(1).bin, etc.