Add the "stat" webpage showing repository statistics.