v1.3.1 - Tan's theorem UI progress bar update + Misiurewicz domains fix

This release combines the progress bar into a single UI element, and fixes an issue whereby the Misiurewicz domains setting could only find a small number of points.