Mention prelude repository in the README