Add ulx3s support
This adds some configuration options that are required for the ulx3s FPGA and should be useful for other ECP5 based boards
- fujprog is one of the recommended programming tools for that board
- allow_timing_fail is not needed but is required in the HDMI example for high resolutions
- constraint from u32->f32 also fixes a bug that occurred at high frequencies