Update doc with doxygen 1.8.7

Script:
  $ rm -r doc/html; cd doc && doxygen
Merge pull request #3 from esl/update-doc

Update doxygen doc