tinyprog version installed by download-env doesn't work

[mithro]

It fails with;

tinyprog: error: unrecognized arguments: --program-image build/tinyfpga_bx_base_lm32.minimal//image-gateware+bios+none.bin

Should it be onstall from git rather than PyPi?

[cr1901]

@tinyfpga had trouble uploading the Python 3 version of tinyprog to PyPi, and has not had time to look into why. Only the Python 2 version is on PyPi. For the time being, we should probably install from the git repo.