Changed format for database manifests, added test.

Not a real test, just some code that generates an error in `main()'
so that we know the JSON is being parsed correctly.