rstp-state-machines: fix proposal reception behaviour.

      Other ports should stop forwarding and learning when a port receives a
      superior BPDU carrying a Proposal flag.
      Without this patch this does not happen and other ports keep executing
      the learning and forwarding processes.
      This patch contains some fixes reported in the 802.1q-2008 standard.