scarf.cc: use barvinok_options instead of MaxRays