Consider changing the database handling such that we get a datasource via JNDI

[devilgate]

This would let us use Tomcat's connection pool, instead of rolling our own, as we do at present. Our own might be fine, but it's better to use a well-tested library for that kind of thing, rather than having one more thing to maintain.

We would have to update the installation instructions to include details of creating the JNDI resources. Or script doing so if possible.