Add a HipSpec Monad with an appropriate environment

Conflicts:
	src/HipSpec.hs
	src/HipSpec/Init.hs
	src/HipSpec/MainLoop.hs
	src/HipSpec/MakeInvocations.hs