Python scripts to make Vivado nicer to use