OctaveCodegen: write our own dump_m, get better header formatting