Added an ant task that stops jetty and the db in one task, as a
convenience.
Added default support for REST services. They are, by default,
deactivated in the demo site.