Safety cast for Z dim as integer
Dummy HTML parser by default (bypass lxml detection)
Fix deletion of associated interventions when editing infrastructures (fixes #783)