Minor vl printer/server updates
  - Update vl printer to use str/pretty for ~x directives.
  - Update vl server to avoid package lock problem on sbcl (temporary)
VL: show warning in module browser
Merge branch 'server' into master