New license headers

Changed a little bit the format of the license/copyright header at the
beginning of each file.