Added targets runv and runvz
Added comment on REPL imports
Show imported libraries in verbose mode