Android library that allows applications to add dialog-based slider widgets to their settings