xilinx_ise: run tools like Project Navigator does to avoid weird bitgen behavior