[tor-commits] [flashproxy/master] Add initial_facilitator_poll_interval independent of facilitator_poll_interval.