Be more precise in welcome message

Signed-off-by: Michel Vosskuhle <m.vosskuhle@gmail.com>
Added link to PhD thesis on "Thèses en ligne"

Signed-off-by: Michel Vosskuhle <m.vosskuhle@gmail.com>