fix(tools/simple-bmc): clean up generated oasis files
feat(tools/simple-bmc): update Makefile
feat(tools/simple-bmc): add --pathgen, change type of forallT