Add bash script for updating copyright headers

This script is largely inspired from a Request from Curtis Rueden and should
be called with a positional argument equal to the current year, e.g.

```
$ bash tools/update_copyright 2015
```