build(*BrainScaleS): disable doxygen docu build
This disables the build of all documentation.
Background:
On JSC JUSUF there seems to be an excessive amount of dot
processes being spawned… not sure why, but we don't need to build the documentation anyways → so drop it!
(Thx @stradmann for suggesting it.)
Edited by Eric Müller