Added Python script to count number of benchmarks in certain categories.