A Chef Cookbook for Configuring the Ripple Rippled Server