test for robodoc in configure if enabled with --enable-autodoc