Hide /net_skeleton.[ch] from git diff

Hide amalgamated files by treating them as binary files.
The users will still see that there are diffs but they won't be distracted
by duplicated diffs in every `git diff` output.