* use doxy-header/footer.html only wen building with dune-web * fix #267 [[Imported from SVN: r5164]]