zsh: add devenv directory variable

Author: benmezger

chezmoi/dot_zsh/exports.zsh

@@ -29,6 +29,7 @@ fi
 
 export WORKSPACE="$HOME/workspace"
 export DOTFILES="$WORKSPACE/dotfiles"
+export DEVENV="$HOME/workspace/devenv/"
 export LEDGER="$WORKSPACE/ledger"
 export RISCV_PATH="/opt/riscv/"
 export RISCV64_PATH="/opt/riscv64/"