updated mailing list info

The p4-feeback mailing list is obsolete.  Updated to protege-dev.