vte.sh and nocasematch shopt
As mentioned in #37 (closed), the vte.sh check for the PROMPT_COMMAND
variable's type may be incorrect when the nocasematch
shopt is set. vte.sh should check that shopt, and if set, unset it before and then restore it afterwards.