Refactoring de la paginación de problemas

* La paginación de problemas se hará ahora exclusivamente en la base de
  datos, mediante LIMIT.
* También los problemas paginados ahora incluyen la lista de tags
  (públicos).
Soporte completo para Tags en problemas

* Ahora es posible filtrar problemas mediante un Tag. Ya no más prefijos
  horribles para problemas de Karel \o/
* Fixed #591