Updated readme.
Improved way of getting latest sem.