Remove bob.extension as its own dependency.

Fixes #81 (closed)

assigned to @amohammadi

enabled an automatic merge when the pipeline for dc1bfe1b succeeds

merged

mentioned in commit 3075726b