Add support for disconnected environments

[dmc5179]

Currently the develop/operate.sh script has a curl call to github.com which does not work in fully disconnected environments. The check in the script for "--formatter" only checks if the option is present or not, not if the option is set to false. Need to update the check in the operate.sh script to check for --formatter=false or something like --disconnected=true to avoid calls to internet facing systems like github.

[dmc5179]

#25

[dmc5179]

#26