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.
comentar código es evil. si ya no quieres que el código se ejecute, hay que eliminarlo. además, si este archivo ya no se usa en ningún otro lado, también el archivo hay que eliminarlo.