Daisy - Framework for Analysis and Optimization of Numerical Programs (Tool Paper) (Tools and Algorithms for the Construction and Analysis of Systems, 2018)