Bash completion: complete on some options too