Speed-up the 'opam config env' command.

This should fix #412