Rename one file
Update readme with finished basic fault tree analysis.