Update copyright date in banner.c for 2014.

I'm just a couple of months late on this one. ;)