On the Exact Analysis of Non-Coherent Fault Trees: The Astra Package