Configure Runtime Environment

added configenv*.rkt files to stpconfigs for the cluster and localhost.
You should add a symbolic link to whichever one you're using and name the link "configenv.rkt"
which will then get required by stp-solve-cluster.rkt.

For the time being, commented the commandline means for switching between configurations.