add preferences dialog so can load non-firefly executables; add support for flashing STM32F4