[patch] Copy big courses with igbinary
If you copy a course with big contents, it's impossible because the default serialize function of PHP uses a lot memory.
igbinary is an efficient alternative of serialize().
This patch implements the igbinary support in the copy course tool.
If the igbinary module isn't present, it uses the standard serialize.
Tested this week-end with some problematic courses.