Close Github pull requests with custom message

Use the new --message-file option to close Github pull requests
with a custom message.

Change-Id: Ia76fb14e20f914ad9580cdb76d8dc3aed9f1d7e6
Partial-Bug: 1353630