A generic PHP pagination library that automatically generates navigation links