Add support for Dadamachines Doppler Board (5k)

[DatanoiseTV]

It would be fantastic to have bitstream export support with the right pinmapping for doppler. https://github.com/dadamachines/doppler/blob/master/hardware/doppler-quickstart_print.pdf https://github.com/dadamachines/doppler/blob/master/hardware/dadamachnes-doppler-schematic.pdf