defensive coding for docbook-properties.sh

Quit with an error if the variable BRANCH is invalid.

Change-Id: I878ae6cfec080ac360faa78707f377cfa0f3b93a
Merge "defensive coding for docbook-properties.sh"