Some changes

Change .txt to .v, add line numbers to editor, make the header of the
template non-editable, refactor the editor project, updated the help
picture.