Update documentation (add OpenScop loop extension support)