[CHORE] update ripple-lib to top-of-tree develop
Merge pull request #1203 from geertweening/develop

[CHORE] update ripple-lib to top-of-tree develop