Merge branch 'master' of github.com:daveho/CloudCoder
Merge branch 'master' of github.com:daveho/CloudCoder
Merge branch 'master' of github.com:daveho/CloudCoder
Merge branch 'master' of github.com:cloudcoderdotorg/CloudCoder
Merge branch 'master' of github.com:cloudcoderdotorg/CloudCoder
Merge branch 'master' of github.com:cloudcoderdotorg/CloudCoder
Java and Python both capture stdout and stderr, and report the results
in the webapp.