Fix regression in http.c for long-polling connections; add lazy initialization of database connections, to avoid the overhead in handlers that don't use SQL

This is a Coq formalization of a simplified version of the Ur programming language.

It has only been tested with Coq version 8.3pl2.