Added vera-session, a not-so-beautiful wrapper to launch vera.