Make Rivet 2.0.0 the default and only rivet.
Fix toolfile name.
Merge pull request #777 from degano/rivet2_default_72X

Rivet 2.0.0 default Rivet in 7_2_X