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.