Added BAT_make_wrapper.sh.in, from which BAT_make_wrapper.sh is generated. This wrapper is used to set environment variables for the configure and make commands to build BAT.