Preparing for PingReq & PingResp handling

* Introduces both PingReqMessage & PingRespMessage
* Defines the codec for those messages
* Adds a spec to check the (mosquitto) server drops the connetion
  after the keep_alive * 1.5 timeout when there is no activity