How to make a batch file to include an external file containing some variables (say configuration variables).