Wed Aug 20 18:48:20 2014 : update Doxygen generated html files.
Wed Aug 20 18:51:54 2014 : update Doxygen generated html files.
Merge branch 'master' into gh-pages