Minor fixes in abc build instructions and abc pass
Added version info to yosys command and added -V option