Add test for intializing a void* pointer

Currently goto-harness crashes with this example.

Author: Thomas Kiley

regression/goto-harness/void-star-pointer/main.c

@@ -0,0 +1,6 @@
+#include <assert.h>
+
+void test_function(void *input)
+{
+  assert(input == 0);
+}

regression/goto-harness/void-star-pointer/test.desc

@@ -0,0 +1,10 @@
+CORE
+main.c
+--harness-type call-function --function test_function
+\[test_function\.assertion\.1\] line \d+ assertion input == 0: SUCCESS
+^VERIFICATION SUCCESSFUL$
+^EXIT=0$
+^SIGNAL=0$
+--
+--
+Ensure the harness is able to initalize a void* ptr to a null value.