[Rivet] Release today

[Hendrik Hoeth]

Hi,

Thus spake Andy Buckley (andy.buckley at durham.ac.uk):

> Can you do that now, please, and change/let me know if there are
> remaining issues?

I ran the rivet-bootstrap script, and on finishing it tells me about the
agile/bin/mkGenserArea script, but there is no such script in the current
AGILe tarball.

Hendrik

-- 
Those who give up essential liberties for temporary safety
deserve neither liberty nor safety.   -- Benjamin Franklin