Add SV-COMP'13 "fib" benchmark for N=6

The safety property is that both integer variables i and j need to be
less than or equal to the 2*N^th Fibonacci number. We have benchmarks
for N=5 and N=6.