Add the Inferno license to files we got from Inferno