Reformat properly and add copyright and license header to files that are missing them