Merge pull request #367 from umarcor/umarcor/no-yosys

docs/environment: do not require yosys