Add a doc target that uses doxgen to generate users doc and reference section