Add a way to retrieve protocol definition files

Merged Yannick DAYER requested to merge add-protocols-retriever into master

Removes bob.extension's get_file().

Merge request reports