More updates for cif2plc -> plcgen, now that latter is the default

We made PLCgen the recommended PLC code generator in #1092 (closed). However, still some places refer to cif2plc rather than plcgen.

Addresses #679