Add HTML test coverage output
Fix bug in setup_database function