ondriks_mtbdd: add dox for GetMtbddForPrefix()