Exit main loop when all user stated properties are proved when run -u (--only-user-stated)
Merge branch 'master' of github.com:danr/hipspec