properly dispose of HMMStateSearchStates
properly dispose of HMMStateSearchStates
Merge pull request #1 from timobaumann/master

clean up Sphinx-based post-processing