update year in copyright headers, fix the jumbled file lists (caused by unsorted files)