remove terminal escapes from configure script for non-tty users#127

dsheets wants to merge 1 commit intoMLstate:masterMLstate/opalang:masterfrom

dsheets:nottydsheets/opalang:nottyCopy head branch name to clipboard