We won't use all of the included build infrastructure files, but adding them nevertheless helps to track changes that are applied to them upstream. Signed-off-by: Thomas Schwinge <thomas@schwinge.name>
