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>