Bump release version number on develop to 2.5.1