Merge pull request #2344 from ben-clayton/build_info-x

Give build_info.py the executable bit