Update installation instructions [ci skip]
Update installation instructions [ci skip]

jose/defects4j,jose/defects4j,rjust/defects4j,jose/defects4j,jose/defects4j,rjust/defects4j,rjust/defects4j,rjust/defects4j