Fix minor bugs, give better name to yosys install script
-rwxr-xr-x 5658 coriolis2-chroot
-rwxr-xr-x 926 hdl-dev-repos
-rwxr-xr-x 668 hdl-dev-repos-virtualenv
-rwxr-xr-x 689 hdl-tools-yosys
-rwxr-xr-x 817 install-apt-reqs