added segfault vala testcase and how to debug vala with gdb