used a user allocator
Merge branch 'future' of https://github.com/wallix/redemption into future
remove rgx_cmp
Merge branch 'future' of https://github.com/wallix/redemption into future