FIX: Fix in history browsing in simulator
FIX: compute distance in statespace
DOC: source-highlight added into userguide