[Rivet] Move bootstrap into main repository for versioning?

[Frank Siegert]

Hi David,

On 6 February 2014 12:54, David Grellscheid
<david.grellscheid at durham.ac.uk> wrote:
>> I have updated GettingStarted now, and at that time found it a bit
>> strange to have a 2.0.0/rivet-2-bootstrap script. Should we take this
>> opportunity to sort this into
>>
>> 2.0.0/rivet-bootstrap
>> 2.0.0/rivet-bootstrap-lcg
>> 1.9.0/rivet-bootstrap-lcg
>
> OK, I'll do that. Again, please let me know the relevant hex-numbers for
> the 1.9.0 option.

The 1.9.0/rivet-bootstrap-lcg should be taken from the
ef0f9730654d/rivet-1-bootstrap-lcg (i.e. the same revision as before,
just the other file).

After that the default and 2.0.0 branches can get the following changes:
- deletion of rivet-1-bootstrap-lcg
- renaming of rivet-2-bootstrap to rivet-bootstrap
- renaming of rivet-2-bootstrap-lcg to rivet-bootstrap-lcg

> Should there be a 1.9.0/rivet-bootstrap, too?

I haven't written one yet because I don't see the need, but if
somebody (user?) feels like contributing one that could then be added
later to the 1.9.0 branch.

Cheers,
Frank