add rule names as comment to the DOT-file

The DOT file is prefixed with both the list of protocol rule names and the
list of message deduction rule names, e.g.,

// protocol rules: Register_pk, Get_pk, Reveal_ltk, Client_1, Client_2, Serv_1
// message deduction rules: isend, irecv, dadec, dfst, dsnd, cadec, caenc, cfst, ch, cpair, cpk, csnd, coerce, pub, fresh
specific installation target to simplify debugging