sophia: introduce redzone

Starting from this commit, sophia scheduler takes advantage
of memory usage statistics and apply different
compaction strategies called red-zones.