Adding a couple new features

* adding a 'globals' command, to explore and reconfigure globals
* adding a 'gui' option to formula-base which will specify what to inject into a GUI !VERYDANGEROUS!
fixing tests