tools.git
2014-02-09 Jann Hornclean up a bit
2014-02-09 Jann Hornadd bigtouch (for creating maaany files)
2013-11-24 Jann Hornadd fastrecat
2013-11-24 Jann Hornadd freq_measure
2013-11-24 Jann Hornput the files in a real repo