update junit launcher, add -verbose