#!/usr/bin/env php
Usage: php count_tokens.php <repertoire>