Add public domain header to autogenerated .hh files