Remove a global stobj with a given name
See add-global-stobj for relevant background and terminology together with an explanation of remove-global-stobj. Here we give only a brief summary.
General Form: (remove-global-stobj x state)
where x evaluates to the name of a stobj that has a global value.
Example Form: (remove-global-stobj 'st state)
