from  Benoît Perrot  <benoit@lrde.epita.fr>

        * dev/inst-nodes-gen.py,
        * src/inst/exp.cc:
        Display the identifier of labels and registers instead of
        their address.