Merge pull request #418 from etosch/untested

Untested
Merge pull request #419 from etosch/untested

#412 -- didnt do the color thing, but i did change it to print out the u...
Update README_artifact.md

final touches
Merge branch 'master' of github.com:etosch/SurveyMan into untested
Merge pull request #420 from etosch/untested

Untested
Merge branch 'master' of github.com:etosch/SurveyMan into untested
fixed #423