change the welcome message of the toplevel
change the welcome message of the toplevel

Ignore-this: 642d7faed27b0ef9a4b192a45beb3959

darcs-hash:20100525103431-c41ad-24e1dcd735dfea6216337b2e7bf3ca767f61e463

fdopen/lwt,janestreet/lwt-async,rgrinberg/lwt,mfp/lwt,gfxmonk/lwt,rgrinberg/lwt,c-cube/lwt,rneswold/lwt,mfp/lwt,gfxmonk/lwt,rneswold/lwt,rgrinberg/lwt,fdopen/lwt,c-cube/lwt,ocsigen/lwt,janestreet/lwt-async,rneswold/lwt,rgrinberg/lwt,ocsigen/lwt,ocsigen/lwt,c-cube/lwt,mirage/lwt,mirage/lwt