Added documentation for Yosys options.