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

Give build_info.py the executable bit
diff --git a/build_info.py b/build_info.py
old mode 100644
new mode 100755