Delete obsolete .frogrc option in README example.