function caretPrefix(line, charNo) {
  return line.substr(0, charNo).replace(/[^\t]/g, ' ');
}
@param {string} line to generate prefix for
@param {number} charNo to generate prefix at
@return {string} prefix for showing a caret