replaced __SMACK_top_decl() calls, they were needed
adding Z's suggestions for crudely determining when threads are done
rearranged to incorporate Z's crude thread completion test, per account_pthread.c in this dir