add runtests.jl; tweak REQUIRE