Update README.md

Add info about Predicting Program Properties from Big Code