doc: Add build env variable to know if doxygen has run

Some extensions may be able to run faster if they can check if Doxygen
contents has changed from one build to the other

Signed-off-by: Benjamin Cabé <benjamin@zephyrproject.org>