Fri Aug 22 17:28:18 2014 : update Doxygen generated html files.
Merge branch 'master' into gh-pages