added simpler runTestsAndPush.bash