Standardize header comments of top-level Makefiles.