Más bugs relacionados con Vagrant

* Ahora la base de datos para pruebas es otra por default. No más
  sobreescrituras accidentales!
* Los fallos en `ec2-describe-instances` ya no son fatales.
* Las imágenes traen por default dos usuarios: omegaup y user.
* Actualizado Jetty a la última versión de la serie 8.