compress the databases
do not save if nothing has changed, fix swapped args in print_next_missing
make builds, builders private, add verify checks
update .gitignore