Support multiple synthesis widths

The original NaN gates paper describes 3-bit and 4-bit floating point
formats. The original synthesis was hard-coded for 3-bit synthesis, but
technically 5-bit floats are the smallest legal floating point values.
Allowing for different synthesis provides opportunities to compare the
different results.

Change install directory

Plugins in the yosys-plugins project install themselves into
datdir/plugins/..., so we should do the same.

Yosys seems to support this specifically, so now we can refer to the
plugin as simply "nangate" instead of specifying the full path. Use:

    yosys -m nangate

Or in your synthesis scripts, include:

    plugin -i nangate

Do NaN synthesis pattern matching via attributes

The previous implementation of NaN synthesis used matching on cell
types, which wouldn't scale with adding support for larger cell types.
Using attributes allows for simply adding the appropriate width
attributes and figuring things out from there.

Fix errors in the synth_nan help message

Add install, use the installed cell libs

The extension needs to load a cell library in order to tech-map things,
and that means having a Verilog file at a locatable path. The Yosys
built-ins put them in the <share>/yosys directory, and so we install
things there and load them from there for convenience.

Using a path +/<path> will be rewritten inside Yosys to load from
<share>/yosys/<path>. I add a nangate/ sub-directory for namespacing
purposes during the install, and load things from +/nangate/<file>.

Implement yosys passes to synthesize to NaN gates