drop extensions in requires
split off get failures method
server: test formula
server: return all results
build
tester cli only report failures
test client
test client show results
tester client ui (code is ugly atm)