Allow additional options for git grep command

This provides a way to specify flags like -i for case-insensitive
grepping.