Adding quotes to dev tester output
Merge branch 'master' into SAGE-test-case