A JavaScript library for parsing JSON fault tree descriptions and rendering them as interactive SVG graphics with customizable themes