Repo/branch configurable for gitlab/shell

Make the repo for the shell and gitlab configurable (SHELL_REPO and
GITLAB_REPO respectively). Also make the branch/tag/commit to be
pulled configurable - set SHELL_TREEISH and/or GITLAB_TREEISH.