Fixed missing "make install" in README.
Added supported Python version.
Merge branch 'master' into svcomp13