Added lock examples from SV-COMP.
Fixed a bug related to label names being keywords in Boogie. Also, added __VERIFIER_nondet_int to our preludes.
Increased default loop unrolling to 20 (from 15). Minor fixes in lock examples to push them through SMACK.
Merge branch 'master' into svcomp13
Skipping over LLVM debug info function calls.
Merge branch 'svcomp13' into ext
Implemented support for functions with variable number of arguments, and in particular for printf. Fixes #7.