Merge pull request #237 from acplt/HolgerJeromin-amalgamate_hint_per_file

add a hint which file is appended

tools/amalgamate.py

@@ -77,6 +77,7 @@ else:
 for fname in args.inputs:
     if not "util.h" in fname:
         with open(fname) as infile:
+            file.write("/*********************************** amalgamated original file \"" + fname + "\" ***********************************/\n")
             for line in infile:
                 inc_res = include_re.match(line)
                 guard_res = guard_re.match(line)