Add data2c.py: convert a file into a C-array.