[doc] Updates with latest trends from bob/bob.devtools;  Make use of bob.extension to find what to link to user guides

Now Docker is used with all the parameters it allows to set when
running a container.

[many] Use central e-mail facilities everywhere, recommend post-office as a way to centralize e-mail sending