Ensure package 'doxygen' on contint.

Same package as in svn.pp.

We're moving from svn.wikimedia.org generated
by cron on the svn server to doc.wikimedia.org generated by
a jenkins job postmerge of mediawiki-core.

Change-Id: Ie7fffca8b685cee49bf39e46a12486bbe1bd977c