Bob extension replacement

Yannick DAYERrequested to merge
bob_extension_replacement into master

Part of the replacement of bob.extension to exposed and auto-intersphinx. Related to #43 (closed).

Merge request reports