Add test case for simple Buffer functionality
Add Data.Buffer module

Implements Buffer, allocate, copy, append*, and peek* in terms of as-yet
non-existent (unsafe) primitives.
Add Buffer type and primitives to the core
Replace Fin ( n + 1 ), which doesn't reduce, with Fin ( S n )
Add C codegen implementation of buffer primitives
Remove some unnecessary copies
Missing comma