Makefile: add HTML target for developer manual