3101 - purge .traces/ dir from repo history

I'd been toying with this idea for some time now given how large the
repo had been growing. The final straw was noticing that people cloning
the repo were having to wait *5 minutes*! That's not good, particularly
for a project with 'tiny' in its description. After purging .traces/
clone time drops to 7 seconds in my tests.

Major issue: some commits refer to .traces/ but don't really change
anything there. That could get confusing :/

Minor issues:

a) I've linked inside commits on GitHub like a half-dozen times online
or over email. Those links are now liable to eventually break. (I seem
to recall GitHub keeps them around as long as they get used at least
once every 60 days, or something like that.)

b) Numbering of commits is messed up because some commits only had
changes to the .traces/ sub-directory.

1 files changed, 1 insertions, 1 deletions

diff --git a/git_log_filtered b/git_log_filtered
index 0ca96fdf..e896cabd 100755
--- a/git_log_filtered
+++ b/git_log_filtered
@@ -5,4 +5,4 @@
 #   $ git config alias.ll '!./git_log_filtered'
 #   $ git ll --stat
 
-git log $* -- . ":(exclude)html" ":(exclude).traces"
+git log $* -- . ":(exclude)html"