Removed some left-over files. They have been deleted earlier, but their licensing headers re-appeared, probably as part of a botched PR.