Several changes (see description)

The BFSearch queue is now a real queue (FIFO), instead of a stack.  When
processing a state, we're checking first if this is a winning state. The
red car is moved to the right as much as possible.