makefile: add a target to install sphinx and build static HTML documentation from markdown, locally
doc