Create boundedBuffer.c (mi)

Michael's final version of boundedBuffer.c (unless defects are found during testing).