Update README.md

Author: ahmed-irfan

README.md

@@ -1,9 +1,9 @@
-<img width="300" style="display: block; margin: auto;" src="https://www.csl.sri.com/images/logo_sri.gif"/>
-
 [![Build Status](https://travis-ci.org/SRI-CSL/sally.svg?branch=master)](https://travis-ci.org/SRI-CSL/sally)
 [![Coverage Status](https://coveralls.io/repos/SRI-CSL/sally/badge.svg?branch=master)](https://coveralls.io/r/SRI-CSL/sally?branch=master)
 [![Coverity Scan Build Status](https://scan.coverity.com/projects/5578/badge.svg)](https://scan.coverity.com/projects/5578)
 
+<img width="100" style="display: block; margin: auto;" src="https://avatars.githubusercontent.com/u/8029212"/>
+
 # SRI Sally
 
 SRI Sally is a model checker for infinite state systems described as transition