updated readme to tell that the devel branch is no more...