do not start the vivado gui

Change-Id: I7df4be3449aebdc85539759a9f66cc63b81dbda6
added note about RESET_AFTER_RECONFIG

Change-Id: I9f4ff421ff552f6a8a655c2178135c657d8294cf
verify the design for partial reconfiguration

Change-Id: Ibf5d91bf5fdb735871862a85b5baaa31ef5ac0fe
Added portalReset to PcieToAxiBridge

Change-Id: I7dde95d8c9cb1b0038259a1deee06703f30ace1f
use xbsvutil reset to soft-reset the portals

Change-Id: I59dfbaccf3465229b46d1603c4084f40a6621ab4
generate mkpcietop-reprogram.tcl

Change-Id: Id3f681ac4e81d32d43825a0274f6462b43bfbe85