Remove graphics/libdivxdecore?

Hi ports@,

Our libdivxdecore port is from 2001. Upstream (Project Mayo) has been
dead for years, and there are no consumers in the ports tree.

Comments? OK to remove?