Licensing

Added the GPLv3 license to some files in addition to fixing some
comments at the beginning of the files.