Python regex grep.