minor updates to vl pretty printing, to use scope stacks
add bt-semaphore quicklisp library, minor printing/scopestack fixes
minor documentation fixes
one last doc fix
fix for gcl compatibility
Merge pull request #283 from ragerdl/master

Removing a couple .acl2 files that are no longer necessary now that we support waterfall-parallelism with ACL2(hp) in a better way