Added the original Android-PullToRefresh library