Added key-update protocol and server-session establishment.
(Not tested). Small bug fixes and debug data.