chore(bnd): Copy settings file from Jenkins config file
chore(bnd): Copy settings file from Jenkins config file

Instead of assuming the settings file exists under /home/jenkins,
assume there is an environment variable for it. This variable has
to be defined by Jenkins using the Config File Provider plugin.

rafidka/hadithhouse,hadithhouse/hadithhouse,rafidka/hadithhouse,hadithhouse/hadithhouse,rafidka/hadithhouse,rafidka/hadithhouse,hadithhouse/hadithhouse,hadithhouse/hadithhouse,rafidka/hadithhouse,hadithhouse/hadithhouse,hadithhouse/hadithhouse,rafidka/hadithhouse