Merge remote-tracking branch 'origin/master' into eddie/abc9_refactor

diff --cc frontends/aiger/aigerparse.cc
index b18049df1652b5fd85a32c203d8ecd5c86e81dd9,8a114b18cdcc5e9b7cba05919ca8918d8b0f0506..bded2bfeee04a94d535dc84dccbfb92236d28fab
--- 1/frontends/aiger/aigerparse.cc
--- 2/frontends/aiger/aigerparse.cc
+++ b/frontends/aiger/aigerparse.cc
@@@ -946,10 -1035,10 +961,10 @@@ struct AigerFrontend : public Frontend 
        {
                log_header(design, "Executing AIGER frontend.\n");
  
-               RTLIL::IdString clk_name = "\\clk";
+               RTLIL::IdString clk_name;
                RTLIL::IdString module_name;
                std::string map_filename;
 -              bool wideports = false;
 +              bool wideports = false, xaiger = false;
  
                size_t argidx;
                for (argidx = 1; argidx < args.size(); argidx++) {