mibuild/programmer: fix XC3SProg init
platforms/kc705: use Vivado by default
platforms/kc705: use XC3SProg
platforms/kc705: add automatic clk200 constraint
platforms/kc705: fix speed grade
mibuild/xilinx: share more code between ISE and Vivado, use special overrides with Vivado, merge xilinx_tools into xilinx_common
genlib: add reset synchronizer
mibuild/xilinx: connect CE on reset synchronizer FFs
typo
bus/dfi: add CKE and RESET_N
platforms/kc705: remove DDR3 multirank pins
mibuild/programmer: remove unneeded needs_flash_proxy attr