Moving header into include dir

firmware/include/ctype.h

+/* 
+ * Copyright (C) 2014, Galois, Inc.
+ * This sotware is distributed under a standard, three-clause BSD license.
+ * Please see the file LICENSE, distributed with this software, for specific
+ * terms and conditions.
+ */
+#ifndef MINLIBC_CTYPE_H
+#define MINLIBC_CTYPE_H
+
+int isdigit(int c);
+int isspace(int c);
+int tolower(int c);
+int toupper(int c);
+
+#endif

firmware/include/defines.h

+#define NUM_BITS_PER_TOKEN 16
+#define NUM_INPUT_NEURONS 5
+#define NUM_OUTPUT_NEURONS 16
+#define NUM_HIDDEN_NEURONS_W 5
+#define NUM_HIDDEN_NEURONS_H 6

firmware/include/stdlib.h

+/* 
+ * Copyright (C) 2014, Galois, Inc.
+ * This sotware is distributed under a standard, three-clause BSD license.
+ * Please see the file LICENSE, distributed with this software, for specific
+ * terms and conditions.
+ */
+#ifndef MINLIBC_STDLIB_H
+#define MINLIBC_STDLIB_H
+
+#define NULL            0
+#define EXIT_SUCCESS    0
+#define EXIT_FAILURE    1
+
+typedef unsigned long int size_t;
+
+double    atof(const char *nptr);
+int       atoi(const char *nptr);
+long int  strtol(const char *nptr, char **endptr, int base);
+unsigned long long strtoull (const char *__restrict, char **__restrict, int);
+
+char     *getenv(const char *name);
+void      abort(void) __attribute__((noreturn));
+void      exit(int status) __attribute__((noreturn));
+
+void     *malloc(size_t size);
+void     *realloc(void *ptr, size_t size);
+void     *calloc(size_t nmemb, size_t size);
+void      free(void *ptr);
+
+int       mkstemp(char *template);
+
+void     *bsearch(const void *, const void *, size_t, size_t,
+                  int (*)(const void *, const void *));
+
+int       putenv(char *str);
+int       unsetenv(const char *name);
+
+int       abs(int j);
+
+int rand (void);
+void srand (unsigned);
+
+#endif