fix copyright dates

Luckily the years in which files are edited are known from the Git history.
remove empty file
replace tabs with two spaces, encode as UTF-8