OCTV+OPT: use builtin "intersect" when in Octave, because the custom "fast_intersect" runs very slow in Octave for unknown reason
WEB: update FAQ
MRG: update cartprod and neighborhood
OCTV: properly set random number generator in Octave