License headers and a tool to generate them