Doxygen marks drreg as a "Multi-instrumentation Manager"

Created by: toshipiazza

On http://dynamorio.org/docs under DynamoRIO Extensions, both drreg and drmgr are listed with the same title, "Multi-instrumentation Manager".

Also just noticed: under "DynamoRIO eXtension utilities" there's an entry for "\p Buffer Filling API," we should get rid of the "\p"