Build Doxygen documentation from Makefile

Doxygen documentation can be created using

        make doxygen

It can be configured in Makefile.config using:
DOXYGEN_BIN := /usr/bin/doxygen
DOXYGEN_DIR := docs/doxygen