Merge pull request #2817 from YosysHQ/claire/fixemails

Fixing old e-mail addresses and deadnames

diff --cc frontends/ast/ast.h
Simple merge

diff --cc frontends/ast/genrtlil.cc
Simple merge

diff --cc frontends/ast/simplify.cc
Simple merge

diff --cc passes/cmds/autoname.cc
Simple merge