Slightly modify record layer protocol.

* Move digest from header to tail of a packet.
* Use 64-bit MD5 value instead of 128-bit.
  Now sum of length of bytes added by record and tunnel layer protocol
  is the same as block size of AES. Consequently, original datagrams
  whose length is a power of two can be sent with no padding.