Very naive Bounded Buffer
Using become() to switch status
Fault tolerance on failing Producer/Consumer
Rewritten using FSM module
Adding README