This adds a new store buffer definiton, with more locking than before.
Provided are the ready and free functions, as well as a proof of
no-regression.

Signed-off-by: Alban Gruin <alban.gruin@irit.fr>