replacing echo with echo -e so that colors work in linux
Merge branch 'master' into post-rename

Conflicts:
	get_rosetta.sh