Extracted MessageStore from safnari.

The same message store can now be used by the nsi-mtosi-bridge. Added a
generalized specification with various ScalaCheck generators.