configure: Print a banner comment at the top of config.log