Also allow /opt/tango and /opt/lofar as store/load paths

tools/ConfigDb/load_ConfigDb.sh

 if [ ${#} -ne 1 ]; then
     echo "You must provide a file name for the TANGO_HOST DB dump!"
     exit -1
-# Check if the filename begins with /hosthome/:
-elif [ ${1:0:10} != /hosthome/ ]; then
-    echo "You must provide a filename that begins with \"/hosthome/\".  Why is that?  Because the file needs to be stored from within the container to the hosts file system and your HOME directory will be mounted as /hosthome."
+# Check if the filename begins with /hosthome/, /opt/tango or /opt/lofar:
+elif [ ${1:0:10} != /hosthome/ -a ${1:0:11} != /opt/tango/ -a ${1:0:11} != /opt/lofar/ ]; then
+    echo "You must provide a full file path that begins with one of \"/hosthome/\", \"/opt/tango/\" or \"/opt/lofar/\".  Why is that?  Because the file has to be loaded from the Docker host's file system that is mounted in the container."
     exit -2
 fi
 

tools/ConfigDb/update_ConfigDb.sh

 if [ ${#} -ne 1 ]; then
     echo "You must provide a file name for the TANGO_HOST DB dump!"
     exit -1
-# Check if the filename begins with /hosthome/:
-elif [ ${1:0:10} != /hosthome/ ]; then
-    echo "You must provide a filename that begins with \"/hosthome/\".  Why is that?  Because the file needs to be stored from within the container to the hosts file system and your HOME directory will be mounted as /hosthome."
+# Check if the filename begins with /hosthome/, /opt/tango or /opt/lofar:
+elif [ ${1:0:10} != /hosthome/ -a ${1:0:11} != /opt/tango/ -a ${1:0:11} != /opt/lofar/ ]; then
+    echo "You must provide a full file path that begins with one of \"/hosthome/\", \"/opt/tango/\" or \"/opt/lofar/\".  Why is that?  Because the file has to be stored to the Docker host's file system that is mounted in the container."
     exit -2
 fi