Added __VERIFIER_nondet_pointer.
Merge branch 'develop' into svcomp2015