Added bounded loop into the main bpf features list
Added bounded loop into the main bpf features list

Bounded loop is a main feature because it removes the major restriction of loops in BPF code have to be unrolled.
Because of loop unrolling is often hard to reliably apply in practice:
On the one hand because loops in code is not always easy to formalize: https://llvm.org/docs/LoopTerminology.html
On the other hand, loop unrolling in clang/llvm often is not forcible because of the complexity of code generation
and optimization.

Bounded loop allows more reliable verification on BPF code that uses compile-time constants as loop termination conditions.
Therefore substantially simplified the writing of BPF code.
iovisor/bcc,iovisor/bcc,iovisor/bcc,iovisor/bcc,iovisor/bcc