consolidate memcpy tests in one directoy

Author: Daniel Kroening

regression/cbmc/memcpy1/main.c renamed to regression/cbmc-library/memcpy-02/memcpy1.c

@@ -1,5 +1,5 @@
 CORE
-main.c
+memcpy1.c
 --bounds-check --pointer-check
 ^EXIT=10$
 ^SIGNAL=0$

regression/cbmc/memcpy1/test.desc renamed to regression/cbmc-library/memcpy-02/memcpy1.desc

@@ -1,5 +1,5 @@
 CORE
-main.c
+memcpy2.c
 
 ^EXIT=0$
 ^SIGNAL=0$

regression/cbmc/memcpy2/main.c renamed to regression/cbmc-library/memcpy-02/memcpy2.c

@@ -1,5 +1,5 @@
 CORE
-main.c
+memcpy3.c
 
 ^EXIT=0$
 ^SIGNAL=0$