Added GPL header to info_gen.py, minor formatting changes