make counter non-global, since now there can be multiple solvers running at once
add ds_store to gitignore