Optimized the io.User class a bit. Made file-type plugins not need to worry
about managing the file pointer; the io.User class will always ensure the
file is closed after writing completes. Added test for the ved file-type
plugin. Added actual source file for PyVed.