MakeAr.py: implement output_as_header()

it outputs all ars in C header format