Use libreoffice's PPA to get latest Doxygen on Travis

The version that is packaged for Ubuntu 12.04 is rather old and does not
support Markdown.