add example for bts #1636

src/plugins/e-acsl/known_bugs/bts1636_memory_leak_literal_strings.i

+int main(void)
+{
+  char *s;
+  for(int i = 0; i < 10; i++) {
+    s = "012";
+  }
+  /*@ assert s[1] == '1'; */
+  return 0;
+}