IBuffer.cs: Added comments to each method and changed name of Extract() to ExtractMsg().

Buffer.cs: Added Contracts for Append() and ExtractMsg().

Added BufferTests with several Tests for the Buffer.