Fix the install of ruby-satsolver, bump version to 0.15.1