Use runtests.lua to generate coverage.txt and remove test/coverage.lua