add documentation builder "sphinx" support for different documentations (user, admin, devel)