gruberda/EWF — pull request #2 by jocelyn (2014-06-27 13:31:21+00:00)
Title: Split USER manager into separated USER manager and NONCE manager,

made them deferred.
And provided effective descendants MEMORY_USER_MANAGER and MEMORY_NONCE_MANAGER.

For example, provided (MEMORY_)NONCE_AND_USER_MANAGER classes, if the user prefer to have a single object.
+Cosmetic