Updated prompt, grep_options deprecation

Signed-off-by: Martin Richard <martius@martiusweb.net>