a utility for inserting a header into multiple files