Added support for YOSYS_COVER_FILE env variable