[bitc-dev] labeled blocks, explicit return

[Jonathan S. Shapiro]

Labeled blocks and explicit return are now implemented in BitC. See:

  http://www.bitc-lang.org/docs/bitc/spec.html#labeled-blocks
  http://www.bitc-lang.org/docs/bitc/spec.html#explicit-return

CONTINUE is also now implemented.