Add --novnc option to s2e_run. Commit setname script.