Remove references to lovasoa's repo

Replace them by kripken's repo, where all the development in happening now.