Merge pull request #28 from choeger/master

A few simple fixes and enhancements
Normalize ids generated from paths

flowtime.js relies on the id-separator "/", so we should not
confuse it with ids containing that separator.
Replacing it with '_' seems safe.

Signed-off-by: Christoph Höger <christoph.hoeger@tu-berlin.de>