= Replace examples prompt with scala.Predef.readLine(text: String)

Mathias, 

I bet I saw this change from you. What happened to it?