Add custom iterator tests

Author: vl0w

prusti-tests/tests/verify/pass/iterators/custom-iter-counter.rs

@@ -0,0 +1,8 @@
+// TODO iterators tbd
+// ignore-test
+
+use prusti_contracts::*;
+
+fn main() {
+
+}