rename bigintwidget to bigintmandelwidget

offer a few zoom factors

consolidate file saving and loading

compress output files, and use an extension other than .json

save and load calculations as json

Qt5 did not ship QVector.resize() with an initializer

improve settingswidget

allow modifying max_iter

add a basic settings dialog

split up mandelmeta into mandelsettings and mandelparams

subordinate img_label to a QScrollArea

extend user interface a bit

use gmp big ints rather than qreal

initial commit