updated formality script...formality still does not pass due to rtl mismatches
removed readme file