Get FLASH_FILE from command line instead of environment variable. The documentation was claiming ELFFILE was given as a command line argument already, but is was not. This is the same change as with `openocd.sh`.
0b664453dc