Bob extension replacement

Yannick DAYER requested to merge bob_extension_replacement into master

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

Merge request reports