Suggested updates to monadUserState and documentation

I'm attaching a couple of suggested changes: helper functions for the monadUserState wrapper to get-set user state rather than having the Alex file interact with the state directly, and making a couple of small adjustments to the documentation (such as mentioning that the user needs to define alexEOF).

These aren't profound at all but might be helpful to those new to the program.