Paginador de problemas

La lista de problemas es cada vez más grande y un paginador es
necesario. Implemente un paginador sencillo y una mini barra de búsqueda 
(en realidad de momento solo acepta criterios de ordenación) para que sea
más fácil explorar la lista de problemas.

Hasta ahora la tabla de problemas se llenaba y se ordenaba usando
Javascript, fue necesario mover algunas cosas al servidor para lograr la
funcionalidad, por ejemplo, se modifico el servicio /problem/list para
que realice paginación y ordenación, ambas opcionales para que no afecte
la funcionalidad anterior.

De momento solo esta disponible en 'problemas' y no en 'mis problemas'
ya que ahí las cosas son un poco diferentes y supongo que las listas ahí
aun no son tan grandes.
alternativamente para evitar andar usando decimales y lidiar con redondeos y cosas feas, puedes hacer esto mejor:

    ($total + PROBLEMS_PER_PAGE - 1) / PROBLEMS_PER_PAGE

para referencias futuras: ese truco solo funciona si `$total >= 0` y `PROBLEMS_PER_PAGE > 0`, pero arriba te aseguras de ello.