Use sophisticated theme in only xterm-like terminals.
Configure OPAM environment.