[Rivet] Move bootstrap into main repository for versioning?

[David Grellscheid]

Hi Frank,

> The current revision (ef0f9730654d) is fine for 2.0.0. Let me know
> once you have tagged it

Done, it's a named branch to allow...

> a bugfix on such a tag in case we notice something that is missing

So as usual we need to make sure we check in things on the right branch!
The default branch can now lose all functionality needed for 2.0.0
compatibility.

The download URL is

 http://rivet.hepforge.org/hg/bootstrap/raw-file/2.0.0/rivet-2-bootstrap

> Is there any benefit in having the bootstrap in a separate repo with
> manual tagging instead of in the main Rivet repo and thus
> automatically tagged?

Yes, I think it does not belong _inside_ Rivet. It's something external
that needs bugfixes independently of the main Rivet tags.

See you,

  David