Update README.markdown

Updated README since some SMACK issues are now fixed and in trunk