minor gitignore additions
[summerhack] / tools /
2009-11-20 John Tsiombikasadded summerhack