Allow using -f option to also specify a library of specifications#3

Open

davidm-mm wants to merge 2 commits intoluismartingarcia:masterfrom

davidm-mm:master

Commits on Jul 4, 2018

Briefly document use of -f commandline option and provide an example
davidm-mm
committed
Allow using the -f cmdline option to also extend the builtin library of existing protocol names
davidm-mm
committed