Updated README: changed name of repository