Add bash script for updating copyright headers

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