Make sure generated doxygen files are available
Merge branch 'master' of https://github.com/ChaiScript/chaiscript.github.io