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