mibuild/programmer: fix XC3SProg init
platforms/kc705: use Vivado by default
platforms/kc705: use XC3SProg
platforms/kc705: add automatic clk200 constraint