Library's growing

[Cesare Tinelli]

Hi again,

for those who have not noticed yet, the benchmark library is starting to 
grow. This is thanks to

- Silvio (Ranise), who has set up a local node at INRIA with benchmarks
   contributed by himself and several of his collaborators,
- Ofer (Strichman) who has set up a local node at CMU with benchmarks
   contributed by himself and by Shuvendu (Lahiri) and Sanjit (Seshia),
   and
- Aarton (Stump) who has set up a local node at the Washington U. with
   becnhmarks contributed by the CVC group.

Well done guys, keep those bechmarks coming!


Cesare