Checked Karl's updates to introduction

[jariarkko]

I also replaced the use of "long-term pre-shared key" with "long-term key", because it seemed to be only used in couple of places in the document.