test that progress bar gets reset when done

Address issue #304
make sure to reset the progress meter

close #342
remove (non) support for loopy inference

It didn't work for ages.
add README.md
initial files
run clang-format after merge
not working but progress
add description of how dependencies work
out of things I know of to change, time to try to compile and run
remove removed file