updated readme according to changes in on-the-flyness: Timing*9OnTheFlyness*.promela deleted, 2 ItaiRodehRoundCounting promela files updated
cleaned up files for onthefly experiments
Merge branch 'master' of https://github.com/DavidFarago/Leader-Election-Models-used-in-Improved-On-The-Fly-Livelock-Detection

Conflicts:
	README.md