Initial; add state_analyzer manpage