Add gh-pages target to Makefile

In order to sync the generated html
documentation with the github pages,
use make gh-pages