Improvements in sylvan.h
Added README.md
Added URLs to Java and Haskell bindings to README.md