dev: SageTeaDeveloper.sh — copy portal.conf to $HOME and...
dev: SageTeaDeveloper.sh — copy portal.conf to $HOME and $HOME/.config/sagetea; DLCX to $HOME/sagetea/dlcx; server image installer
dev: SageTeaDeveloper.sh — copy portal.conf to $HOME and $HOME/.config/sagetea; DLCX to $HOME/sagetea/dlcx; server image installer