fixed darcs url for propose-patch