missing copyright
emacs Eiffel mode: a few fixes, recognize the convert keyword