Migrate Doxygen docs to GitHub Pages #2
Description
There an old Jenkins job that generates Doxygen documentation for SLIM-Curve, and hosts it on LOCI server infrastructure. This job should become part of the Travis CI build (maybe a daily cron job?), and push the result here.